UTxO-HD targeting main

[jasagredo]

Changelog

- description: |
    Implement the changes required for UTxO-HD. See the documentation https://ouroboros-consensus.cardano.intersectmbo.org/docs/for-developers/utxo-hd/Overview.
    - Augment `Cardano.Api.LedgerState.LedgerState` with Cardano `LedgerTables`.
    - Require `SingI` for `QueryFootprint`s in Consensus queries
# uncomment types applicable to the change:
  type:
  - feature        # introduces a new feature
  - breaking       # the API has changed in a breaking way
  # - compatible     # the API has changed but is non-breaking
  # - optimisation   # measurable performance improvements
  # - refactoring    # QoL changes
  # - bugfix         # fixes a defect
  # - test           # fixes/modifies tests
  # - maintenance    # not directly related to the code
  # - release        # related to a new release preparation
  # - documentation  # change in code docs, haddocks...

Context

Integrates the UTxO-HD changes in cardano-api. See the documentation for an extensive discussion on what the changes are and their implications.

How to trust this PR

Highlight important bits of the PR that will make the review faster. If there are commands the reviewer can run to observe the new behavior, describe them.

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• New tests are added if needed and existing tests are updated. See Running tests for more details
• Self-reviewed the diff

[Jimbo4350]

This will only return UTxOs in memory correct? I.e there may be UTxOs on disk that will not be returned in newEpochState.

[jasagredo]

Cardano.Api.LedgerState.LedgerState is a purely in-memory ledger state. There are no UTxOs on the disk. If we were to have UTxOs on disk, we would have to have a LedgerDB that takes care of managing that disk storage. foldEpochState carries a single LedgerState thus the decision of making it in-memory.