Stop using hard-coded compile-time verification keys

[mrmr1993]

This PR builds upon #8497. This ensures that we don't depend on verification keys from the Precomputed_values library, which will not necessarily be the correct ones if we switch between signature schemes.

Checklist:

• 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? List them:

[mrmr1993]

Reviewer guide:

• the basic changes are
  • use the snark keys for the configuration that we start with, rather than the compile-time ones from Precomputed_values
  • use the hashes for those keys instead of the compile-time ones from Precomputed_values when computing the chain-id
• the tweaks to Transaction_snark and Blockchain_snark_state make the hashes available from their functors
  • crypto code is unchanged
• in order to choose the correct keys, the verifier takes the configuration as an additional argument
  • all of the callsites -- mostly unit tests -- are updated with this new argument (the vast majority of the diff)
• the chain-id calculations are updated to use the hashes for the config's snark keys
  • these are added to the Genesis_proof.t = Precomputed_values.t type, so that they are easily kept in sync and available everywhere we need them
• the command to list compile-time snark key hashes is updated
  • if there is no compile-time proof, then no keys are stored and the command lists no hashes
  • this was called by a couple of scripts but the results were never used, and this wasn't used elsewhere. These calls have been removed.

[bkase]

!approved-for-mainnet

[deepthiskumar]

Should we remove this fatal error when constraint constants don't match?

mina/src/lib/genesis_ledger_helper/genesis_ledger_helper.ml

Line 1347 in 1c9569e

[%log fatal]

[mrmr1993]

Should we remove this fatal error when constraint constants don't match?

mina/src/lib/genesis_ledger_helper/genesis_ledger_helper.ml

Line 1347 in 1c9569e

[%log fatal]

I think we should do this as a follow-up PR, I've tested the signatures interaction for this series, but I'd like to test changing the constraint constants themselves before we go all in.