Sign `Cardano Transactions` with `Block Range Merkle Roots`

[jpraynaud]

Content

This PR includes the computation of the Cardano Transactions signature with the pre-computed Block Range Merkle Roots retrieved from the store:

• Adaptation of the signature process with the BlockRangeRootRetriever trait implementation
• Adaptation of the proving process to make it match with the aforementioned signature (will be relying on the Block Range Merkle Roots with new PR in #1635)

Pre-submit checklist

• Branch
  • [x] Tests are provided (if possible)
  • [x] Crates versions are updated (if relevant)
  • [x] CHANGELOG file is updated (if relevant)
  • [x] Commit sequence broadly makes sense
  • [x] Key commits have useful messages
• PR
  • [x] No clippy warnings in the CI
  • [x] Self-reviewed the diff
  • [x] Useful pull request description
  • [x] Reviewer requested

Issue(s)

Closes #1634

[github-actions[bot]]

Test Results

    3 files  ±0     43 suites  ±0   8m 27s :stopwatch: -1s   974 tests  - 2    974 :white_check_mark:  - 2  0 :zzz: ±0  0 :x: ±0  1 068 runs   - 2  1 068 :white_check_mark:  - 2  0 :zzz: ±0  0 :x: ±0 

Results for commit 7094e3ac. ± Comparison against base commit 512fe8d0.

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

``` mithril-common ‑ signable_builder::cardano_transactions::tests::test_compute_merkle_root_in_same_block_range mithril-common ‑ signable_builder::cardano_transactions::tests::test_compute_merkle_root_order_of_block_range_does_not_matter mithril-common ‑ signable_builder::cardano_transactions::tests::test_compute_signable_with_no_transaction_return_error ``` ``` mithril-common ‑ signable_builder::cardano_transactions::tests::test_compute_signable_with_no_block_range_root_return_error ```

:recycle: This comment has been updated with latest results.