Add internal pre-verify-block command

[georgeee]

Explain your changes:

• Add an mina internal pre-verify-block command to allow verification of proofs contained in a block (complete works, block's snark, zkapp proofs)
• Allow the tool to be used for memory/CPU profiling of verifier by repeatedly re-checking the same block and bloating the number of proofs of each of three types

Explain how you tested your changes:

• Used the tool for verifier profiling, went well

To test the tool, build it with devnet profile and use the following command with files downloaded from storage:

mina internal pre-verify-block --ledger-directory snarked_ledger --config-file daemon.json < block.dat

Checklist:

• [x] 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
• [x] Document code purpose, how to use it
  • Mention expected invariants, implicit constraints
• [x] Tests were added for the new behavior
  • Document test purpose, significance of failures
  • Test names should reflect their purpose
• [x] All tests pass (CI will check this if you didn't)
• [x] Serialized types are in stable-versioned modules
• [x] Does this close issues? None