feat: support IVC SNARK prover in e2e tests

[jpraynaud]

Conten

This PR includes the adaptation of the end to end tests to support the IVC SNARK proof system.

Pre-submit checklist

• Branch
  • Crates versions are updated (if relevant)
  • CHANGELOG file is updated (if relevant)
  • Commit sequence broadly makes sense
  • Key commits have useful messages
• PR
  • All check jobs of the CI have succeeded
  • Self-reviewed the diff
  • Useful pull request description
  • Reviewer requested

Issue(s)

Relates to #3142

[github-actions]

Test Results

     5 files  ± 0     206 suites  ±0   33m 12s ⏱️ - 2h 1m 43s
 3 248 tests  - 31   3 248 ✅  - 31  0 💤 ±0  0 ❌ ±0 
10 931 runs   - 11  10 931 ✅  - 11  0 💤 ±0  0 ❌ ±0 

Results for commit e509b98. ± Comparison against base commit 5d25797.

This pull request removes 42 and adds 11 tests. Note that renamed tests count towards both.

mithril-aggregator ‑ tools::genesis::operations::tests::bootstrap::lagrange_auto_augments_a_legacy_signer_with_a_fresh_schnorr_signer
mithril-end-to-end ‑ toolkit::context::tests::delay_calculation
mithril-stm ‑ circuits::halo2_ivc::tests::encoding::negative::slow::circuit_rejects_wrong_current_epoch_byte_range
mithril-stm ‑ circuits::halo2_ivc::tests::encoding::negative::slow::circuit_rejects_wrong_next_merkle_tree_commitment_byte_range
mithril-stm ‑ circuits::halo2_ivc::tests::encoding::negative::slow::circuit_rejects_wrong_next_protocol_parameters_byte_range
mithril-stm ‑ circuits::halo2_ivc::tests::golden::golden_verification_key_test::slow::golden_recursive_modification_test
mithril-stm ‑ circuits::halo2_ivc::tests::golden::positive::slow::genesis_base_case_circuit_is_accepted
mithril-stm ‑ circuits::halo2_ivc::tests::golden::positive::slow::replay_integrity_matches_stored_next_step_output
mithril-stm ‑ circuits::halo2_ivc::tests::in_circuit::accumulator::slow::circuit_rejects_with_wrong_next_accumulator_in_same_epoch_step
mithril-stm ‑ circuits::halo2_ivc::tests::in_circuit::genesis_gating::slow::genesis_step_accepts_garbage_certificate_proof_bytes
…

mithril-aggregator ‑ dependency_injection::builder::support::upkeep::tests::epoch_pruning_tasks_are_ordered_to_respect_foreign_keys
mithril-aggregator ‑ tools::genesis::operations::tests::bootstrap::lagrange_rejects_a_legacy_signer
mithril-common ‑ entities::epoch::tests::offset_to_signer_retrieval_epoch_saturating_clamps_at_genesis
mithril-end-to-end ‑ toolkit::context::tests::appearance_timeout_covers_configured_epochs
mithril-end-to-end ‑ toolkit::context::tests::timeout_for_epochs_scales_with_epoch_duration
mithril-end-to-end ‑ utils::spec_utils::tests::backoff_grows_until_ceiling
mithril-end-to-end ‑ utils::spec_utils::tests::poll_until_retries_until_predicate_satisfied
mithril-end-to-end ‑ utils::spec_utils::tests::poll_until_returns_after_error
mithril-end-to-end ‑ utils::spec_utils::tests::poll_until_returns_ok_value
mithril-end-to-end ‑ utils::spec_utils::tests::poll_until_times_out_when_no_value_received
…

♻️ This comment has been updated with latest results.