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     209 suites  ±0   59m 26s ⏱️ - 1h 37m 25s
 3 313 tests  - 75   3 313 ✅  - 75  0 💤 ±0  0 ❌ ±0 
11 046 runs   - 80  11 046 ✅  - 80  0 💤 ±0  0 ❌ ±0 

Results for commit 8cc1cc0. ± Comparison against base commit 2eedbd2.

This pull request removes 76 and adds 1 tests. Note that renamed tests count towards both.

mithril-stm ‑ circuits::halo2::tests::golden::cases::negative::slow::index_out_of_bounds
mithril-stm ‑ circuits::halo2::tests::golden::cases::negative::slow::index_too_large_for_circuit_range
mithril-stm ‑ circuits::halo2::tests::golden::cases::negative::slow::indices_not_increasing
mithril-stm ‑ circuits::halo2::tests::golden::cases::negative::slow::leaf_merkle_path_mismatch
mithril-stm ‑ circuits::halo2::tests::golden::cases::negative::slow::leaf_swap_keep_merkle_path
mithril-stm ‑ circuits::halo2::tests::golden::cases::negative::slow::leaf_wrong_verification_key
mithril-stm ‑ circuits::halo2::tests::golden::cases::negative::slow::merkle_path_corrupt_sibling
mithril-stm ‑ circuits::halo2::tests::golden::cases::negative::slow::merkle_path_flip_position
mithril-stm ‑ circuits::halo2::tests::golden::cases::negative::slow::merkle_path_length_long
mithril-stm ‑ circuits::halo2::tests::golden::cases::negative::slow::merkle_path_length_short
…

mithril-common ‑ entities::epoch::tests::offset_to_signer_retrieval_epoch_saturating_clamps_at_epoch_zero

♻️ This comment has been updated with latest results.