Cardano Updates

This commit splits the PerasCert and PerasVote types defined as part of
the degenerate global BlockSupportsPeras instance into separate modules.

This is the first step of a series of changes needed to define a proper
BlockSupportsPeras instance for individual block types and the HFC.

This version is compatible with QuickCheck 2.15 and lower

The new method leverages a corresponding method recently exposed by
ledger side to provide encoded transaction sizes to eg. diffusion layer.

- Integrate new tx submission protocol
- txWireSize: Byron txs overhead

We need to add 2 bytes overhead for `EncCBOR (AMempoolPayload
ByteString)`. See:
https://github.com/IntersectMBO/cardano-ledger/blob/cardano-ledger-byron-1.1.0.0/eras/byron/ledger/impl/src/Cardano/Chain/MempoolPayload.hs#L73-L81

- txWireSize: wrapCBORinCBOR overhead for Shelley txs
- Take into account the overhead of `wrapCBORinCBOR`.
- txWireSize: added overhead for HardFork txs
- Added HFC overhead.  This overestimates it, if the HFC is disabled.
- txWireSize: added tests
- Use txWireSize when computing tx-sizes for ouroboros-network

Co-Author: Armando Santos <[email protected]>
Co-Author: Marcin Szamotulski <[email protected]>
Co-Author: Marcin Wójtowicz <[email protected]>

This function allows waiting until the immutables DB's tip is past the target
slot.

This function allows querying the immutable db for a potentially empty slot, and
getting the block from the next filled slot in response.

Updated section headers and removed TODOs in README.

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>

This commit implements state-machine tests for the PerasVoteDB using
quickcheck-dynamic. Notably, we define rather constrained generators to
increase the chances of (among others):

* Voting for the same target more than once (normal behavior),
* Voting more than once per round (PerasVoteAlreadyInDB),
* Two voting targets becoming winners (MultipleWinnersInRound)

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>