Cardano Updates

It is unused

It is unused

In order to be able to easily run in locally to check links

- add tests based on quickcheck-dynamic
- remove old tests based on quickcheck-state-machine, substituted by the above
- Test.QuickCheck.Extras -> Test.Ouroboros.Consensus.QuickCheck.Extras

- Re-format files
- Remove warning on unused import
- Update hackageNix in flake.lock

This commit puts together all the changes for UTxO-HD. It is annoying that it is
such a big commit but due to the numerous rebases, conflicts arose at each
single commit thus we reverted to put together everything in one commit to
minimize the conflict-resolving work.

For a super high-level description of UTxO-HD, the changelogs give brief
indications. For a more low-level description, check the new website documents.

This commit is the result of the joint effort by many people that are or were
part of the Consensus team and neighbour teams that made contributions be those
in design, testing or implementing some parts of UTxO-HD, who I would like to
acknowledge their participation by adding them as co-authors here, in no
particular order.

Co-authored-by: Joris Dral <[email protected]>
Co-authored-by: Alexander Esgen <[email protected]>
Co-authored-by: Nick Frisby <[email protected]>
Co-authored-by: Damian Nadales <[email protected]>
Co-authored-by: Fraser Murray <[email protected]>
Co-authored-by: Georgy Lukyanov <[email protected]>
Co-authored-by: Renate Eilers <[email protected]>
Co-authored-by: Yogesh Sajanikar <[email protected]>
Co-authored-by: Bart Frenk <[email protected]>
Co-authored-by: Pawel Szulc <[email protected]>
Co-authored-by: Arnaud Bailly <[email protected]>
Co-authored-by: Douglas Wilson <[email protected]>
Co-authored-by: Duncan Coutts <[email protected]>
Co-authored-by: Alexey Kuleshevich <[email protected]>
Co-authored-by: Jared Corduan <[email protected]>

- Define HeaderWithTime.

- Maintain time annotations on the ChainSync candidates.

- Maintain a parallel selection with time annotations since the
  ConsensusBlockFetch interface uses the same type argument for ChainSync
  candidates and the current selection.

- Note that HeaderWithTime is hidden from the tracer events, at least for now.

Co-authored-by: Damian Nadales <[email protected]>
Co-authored-by: amesgen <[email protected]>

# Description

This PR adds snapshot metadata to the snapshotting mechanism in order
for different types of snapshots to be distinguishable without needing
to inspect their contents.

Fixes https://github.com/IntersectMBO/ouroboros-consensus/issues/1416