feat(boojum): added flag to control prover selection at genesis

[mm-zk]

What ❔

• Added CONTRACTS_PROVER_AT_GENESIS flag to control which prover should be used during genesis
• Updated zk status command to compare the keys in the database and in the contracts

Why ❔

• without this flag, we were pushing the old keys to the contracts, which resulted in failed proofs.

[codecov]

Codecov Report

All modified lines are covered by tests ✅

Comparison is base (1625ec2) 32.16% compared to head (957ea0d) 32.17%.

Additional details and impacted files

@@                  Coverage Diff                   @@
##           boojum-integration     #158      +/-   ##
======================================================
+ Coverage               32.16%   32.17%   +0.01%     
======================================================
  Files                     482      482              
  Lines                   25929    25930       +1     
======================================================
+ Hits                     8341     8344       +3     
+ Misses                  17588    17586       -2     

Files	Coverage Δ
core/lib/config/src/configs/contracts.rs	100.00% <ø> (ø)
core/lib/zksync_core/src/lib.rs	27.15% <ø> (ø)

... and 11 files with indirect coverage changes

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[ly0va]

👍