Make compile-time genesis proof creation optional

[mrmr1993]

This PR makes compile-time proof generation optional, with tweaks to remove the dependency everywhere except Genesis_ledger_helper.

This is configurable by a flag in config.mlh. At the moment, it's disabled everywhere, but this gives us the option of generating a proof for mainnet binaries at compile-time so that we don't have to bundle a proof file with the executable.

Tested by running CI, where everything succeeds.

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:

[bkase]

!approved-for-mainnet