[Develop] Fix verification in dry runs: alternative take

[georgeee]

Fix verification of fork package.

Berkeley version: #15591

Explain how you tested your changes:

• Mainnet (on Fix verification in dry runs: alternative take #15591): https://buildkite.com/o-1-labs-2/hardfork-package-generation/builds/280
• Devnet (on Fix verification in dry runs: alternative take #15591): https://buildkite.com/o-1-labs-2/hardfork-package-generation/builds/281
• Mainnet dry run (on Fix verification in dry runs: alternative take #15591): https://buildkite.com/o-1-labs-2/hardfork-package-generation/builds/282

Checklist:

• Dependency versions are unchanged
  • Notify Velocity team if dependencies must change in CI
• Modified the current draft of release notes with details on what is completed or incomplete within this project
• Document code purpose, how to use it
  • Mention expected invariants, implicit constraints
• Tests were added for the new behavior
  • Document test purpose, significance of failures
  • Test names should reflect their purpose
• All tests pass (CI will check this if you didn't)
• Serialized types are in stable-versioned modules
• Does this close issues? None

[georgeee]

PR also contains upstream merge of berkeley to develop. Only conflict was in MinaArtifact.dhall, due to the fact that hardfork pipeline is not present in develop.

[georgeee]

!ci-build-me

[georgeee]

!ci-build-me