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

[jpraynaud]

Content

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

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 #1635

[github-actions[bot]]

Test Results

    3 files  ±0     43 suites  ±0   8m 39s :stopwatch: +16s   976 tests +2    976 :white_check_mark: +2  0 :zzz: ±0  0 :x: ±0  1 070 runs  +2  1 070 :white_check_mark: +2  0 :zzz: ±0  0 :x: ±0 

Results for commit 05b74ff9. ± Comparison against base commit 871912f2.

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