Cardano Updates

Avoid scheduling more jobs on peers that already have outstanding
decisions.

Reduce resource consumption by waiting at least 200ms before
issueing the next request for the same tx.

Reduce resource consumption by waiting at least 200ms before
issueing the next request for the same tx.

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

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