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.

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

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.

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

Instead of always waiting 10ms and then loop around we check when we can
issue the next request and delay until then.

* stylish-haskell
* cabal-gild
* GHC options

The property is only satisfied if there are no transaction which
advertise wrong size.

Pass requested txids with sizes to the `collectTxs` call.

* removed `numTxIdsToRequest` (not used & wrong)
* replaced repeated code with a new function `splitAcknowledgedTxIds`
* added test for `splitAcknowledgedTxIds`