The test/Ouroboros/ heirarchy is not for test modules, those live in
test/Test/. That heirarchy is for extra source modules that happen only
to be used within tests. Clear as mud?

The module was rather on the huge side.

Improve the generation and shrinking of pick scripts, and make their
show instances much smaller so the counterexamples are easier to read.

Also there were several pick scripts in the mock env that were not being
shrunk at all. Fix that, and adjust so that any future additions will be
noticed.

Not yet used. It will replace the current simple representation in the
governor state.

Add tests for the QC generator and the non-trivial clampToLimits
function.

That is, change the representation in the governor state for the local
root peers from Map peeraddr PeerAdvertise to LocalRootPeers peeraddr.

Then follow through the minimally necessary changes. In particular this
does not yet introduce the governor targets of the local root peers
being established or active peers.

Also update the QC tests, using the new generator for the
LocalRootPeers from the previous patch.

the enforcement of the invariant that says Public/Local Root peer sets
to be disjoint.