Cardano Updates

Previous generator would filter out all duplicate tx's and hence
all downstream/outbound clients would have distinct mempools.

The new mempool implementation does not allow duplicates, so this
approach also allows detecting when duplicates are attempted to be
added to the mempool

Tracing improvements.

spanl will silently drop trailing tx's if there is a gap
in the txs to acknowledge sequence. This may happen if acknowledging
tx's which some other peer has downloaded.

This fixes a bug where the same tx is enqueued multiple times for
submission into the mempool by the same peer.

Co-authored-by: coot <[email protected]>

Co-authored-by: coot <[email protected]>

Co-authored-by: coot <[email protected]>

Co-authored-by: coot <[email protected]>

Co-authored-by: coot <[email protected]>

Co-authored-by: coot <[email protected]>

This property test checks:
1. Targets match specified values when target baseline changes in
Genesis mode
2. Targets = nullPeerSelectionTargets in safe mode
3. Targets reach design values when churning

Using a raw ShortByteString instead of an existential type for block hashes
simplifies the implementation of the LedgerPeerSnapshot.getBlockHash callback
in the Consensus layer

Improve TxLogic benchmark by using the default policy and realistic TXs
sizes.

Using a raw ShortByteString instead of an existential type for block hashes
simplifies the implementation of the LedgerPeerSnapshot.getBlockHash callback
in the Consensus layer

This property test checks:
1. Targets match specified values when target baseline changes in
Genesis mode
2. Targets = nullPeerSelectionTargets in safe mode
3. Targets reach design values when churning

Use a ShortByteString instead of an existential type for block hashes