UTXO-HD for node 10.4

[jasagredo]

Description

Implements the changes required for UTxO-HD Consensus feature. See the documentation for an extensive explanation on what changed and the implications.

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• New tests are added if needed and existing tests are updated. These may include:
  • golden tests
  • property tests
  • roundtrip tests
  • integration tests
    See Runnings tests for more details
• Any changes are noted in the CHANGELOG.md for affected package
• The version bounds in .cabal files are updated
• CI passes. See note on CI. The following CI checks are required:
  • Code is linted with hlint. See .github/workflows/check-hlint.yml to get the hlint version
  • Code is formatted with stylish-haskell. See .github/workflows/stylish-haskell.yml to get the stylish-haskell version
  • Code builds on Linux, MacOS and Windows for ghc-8.10.7 and ghc-9.2.7
• Self-reviewed the diff

Note on CI

If your PR is from a fork, the necessary CI jobs won't trigger automatically for security reasons.
You will need to get someone with write privileges. Please contact IOG node developers to do this
for you.

[jorisdral]

LGTM, nothing blocking

[jutaro]

Regarding the tracers, everything looks good to me. Just a small follow-up: the file nix/workbench/service/tracing.nix still references Mempool.AttemptingSync and SyncDone, both of which have been removed. This file should be updated accordingly for this branch.

[mgmeier]

the file nix/workbench/service/tracing.nix still references Mempool.AttemptingSync and SyncDone, both of which have been removed. This file should be updated accordingly for this branch.

A corresponding maintenance commit will be added to #6187 , as this PR is a prerequisite for 10.4 anyways.