Load proof (hack#419)

Workflow runs for Load proof (hack#419)

• ci: fix hack#419 load-proof script loop terminators

  completed successfully:
  Load proof (hack#419)#3:Commit969192dpushedbyroodboi
  kit/hack419-load-proof

  Oct 30, 20265m 26s
  More actions for workflow run 3

• ci: hack#419 load proof with 4 churn workers per core

  failed:
  Load proof (hack#419)#2:Commit0048150pushedbyroodboi
  kit/hack419-load-proof

  Oct 30, 20261m 47s
  More actions for workflow run 2

• ci: temporary hack#419 load-proof workflow (branch only, not for merge)

  completed successfully:
  Load proof (hack#419)#1:Commit4f20a86pushedbyroodboi
  kit/hack419-load-proof

  Oct 30, 20263m 52s
  More actions for workflow run 1