Cardano Updates

Alonzo tests now run all the property tests.
Cleaned up the code.
Added scenarios to the alonzo tests.
Tracked down the mysterious FeeTooSmallUTxO and OutputTooSmallUTxO failures
Ormolised.

add a more coherent (less random) block generator

In 7447dd7b2c9af190f4c2d50fad83c42f68a41019 we changed genBlock to
produce blocks with more noise. This turns out to have broken some tests
in the consensus layer that relied on some coherency in the block.

See https://github.com/input-output-hk/ouroboros-network/issues/3134

To fix this, we add a new block generator genCoherentBlock, which is
almost exactly like the previous genBlock, but does not require the
PreAlonzo constraint.

In 7447dd7b2c9af190f4c2d50fad83c42f68a41019 we changed genBlock to
produce blocks with more noise. This turns out to have broken some tests
in the consensus layer that relied on some coherency in the block.

See https://github.com/input-output-hk/ouroboros-network/issues/3134

To fix this, we add a new block generator genCoherentBlock, which is
almost exactly like the previous genBlock, but does not require the
PreAlonzo constraint.

Check that collateral inputs must be signed

Alonzo tests now run all the property tests.
Cleaned up the code.
Added scenarios to the alonzo tests.
Ormolised.

Alonzo tests now run all the property tests.
Cleaned up the code.
Added scenarios to the alonzo tests.
Ormolised.

Cleaned up the code. Alonzo tests now run the property tests. ormolised

Cleaned up the code. Alonzo tests now run the property tests. ormolised

Note that this also changes the `validatingTxBody` in order to remove
the required signers. These were not part of any existing test, and
removing them allowed me to reuse this body in the collateral test.

This brings the code into line with the updated spec, which overrides
this function. It also addresses CAD-2937, and ensures that signers must
be present for all collateral inputs.