Cardano Updates

Restore #if to disable this code path on Windows hosts

Lower the time to cache DNS errors to max 15min.

The `peerMonitoringLoop` was prematurelly terminating, not logging
`CoolingToCold`.

This is a fairly lightweight protocol and it would be of benefit
to have it running even if InitiatorOnly mode has been negotiated.

Due to improvements in Consensus, `headerForgeUTCTime` can now be pure and
doesn't have to have any preconditions or warnings attached.

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`

* Fixed Show instance for TestAddress:
  Deriving via Quiet produces a string which is not syntactivly valid
  Haskell
* Show instance for `NodeArgs`: added brackes where needed.
* Imports which work when pasting examples (still some imports
  need to be added).  Using `-Wno-unused-imports` though.

* send `getTxAdvSize` rather than `getTxSize` together with `getTxId`;
* fixed properties in presence of wrongly sized txs, the conditions are
  much weeker; hance
* generate much less wrongly sized txs.

All other fields are strict.

When there's nothing to acknowledge, we return `TxsToMempool`, thus we
also should update the `toMempoolTxs` field.