Cardano Updates

squash later

These probably don't make sense in light of Mux being published as a
stand alone library on hackage. Squash after review

Rename MuxTracersBundle to Tracers

move information channel to inboundgovernor
use strict maybe
move responderIgTracer to top level and rename to inboundGovernorMuxTracer

let connection handler/mux inform the IG of new connections

This type is needed to avoid circular dependency, and also is useful
for its Show instance.

This shrinks AcceptedConnectionLimits fields one by one, instead of
simultaneously all at once, for a better minimal result.

Added Skip command to diffusion testnet script. This is only generated
for failed test cases by the shrinker.

Sometimes we can generate a simpler command script by dropping
a specific command, or a whole series of commands, and extend
the delays (in effect, 'unshrinking' the delay of when the command is applied) of the remaining ones
For eg. JoinNetwork 0 : Reconfigure 5 : Reconfigure 10 : Reconfigure 15 : Kill 2
Can be simplied to JoinNetwork 0 : Kill 32 when the intermediate reconfigures are
skipped - the shrinker changes them to Skip and the candidate is
passed here. It is important that the overall test duration is not
shrunk at this stage, since a failed test might depend on some minimal
run duration. If the property still fails, then the original commands are not contributing factors,
but what is important is that the node has to run at least that long
for the test case to fail. With such a simplified command script, the
execution duration can be shrunk in the following shrinker iterations.
Some commands may be just noise, and all they do is cause unnecessary work
slowing down the shrinker as it attempts to shrink them individually. This only
increases the search space without any benefit in the end.
The skips are removed from the fixed up script, just the effect of their
duration is applied to the following first non-skip command. If a specific command
is in fact significant for the property to fail, for eg. the test passes if
Reconfigure is changed to Skip, the shrinker will backtrack and keep
that command and continue with shrinking the rest. The bottom line is that
the minimal example and running time are both improved, significantly as
observed in practice.

squash later

Make the egress queue's poll interval configurable.

Make the egress queue's poll interval configurable.

Make the egress queue's poll interval configurable.

A race condition was identified which would manifest as an exception
raised in the CM when attempting to acquire an outbound connection to
a peer which is in a cooling state. This could happen when for
eg. when churn demotes a warm peer and then immediately promote the
same peer. Currently, the peer being demoted is removed too early from
the established & inProgressDemoteWarm sets in the outbound governor's
private state. The proposed fix ensure that the peer is completely
demoted to Cold before it is removed from those sets.

Addressed review comments

Remove the failure from both active and established sets.

Use RecvLowWater to signal that we want to read at least the length of
the SDU.

Use a Builder for ingress. Messages shorter than 128 bytes will be copied.

Poll the egress queue at most 1000 times per second.
This gives us an oppertunity to pack multiple messages into larger SDUs,
and write those SDUs with a single sendMany call.

This implements an optional read buffer for the Socket bearer.
If provided with a read buffer the socket bearer will
read as much data available on the socket that can fit in the read
buffer. Subsequent read requests will first be served data from the
buffer.

Permit sending of multiple SDUs through a single call to sendMany for
Socket bearers
Bearers without vector IO support emulate it through multiple calls to
write.

Define msHeaderLength and use it instead of 8 as hardcoded headerlength.