Cardano Updates

git ls-files -z | xargs -0 sed -i -e 's/MetaData/Metadata/g' -e 's/MetaDatum/Metadatum/g'
rename MetaData Metadata `git ls-files '*.hs'`

Other instances checked with

  git grep '[mM]etaData'

Contents of RTF documents not changed.

To avoid ambiguity, `genMetadata` was renamed to `genEraMetadata`, following the
other `genEraTxBody` method.

Introduce the `EraIndependentMetadata` tag for this.

A bunch of types were parameterised over the era, while they were really
era-independent. It is confusing to parameterise something over the era while it
really is era-independent. Moreover, it requires much more needless
conversions/coercions.

The change that made it all possible is to parameterise `ScriptHash` by the
crypto instead of the era, using the `EraIndependentScript` tag. This meant
`EraIndependentWitVKey` was no longer needed.

By pushing this through, we get to the following (possibly incomplete) list of
all the types that were parameterised over the crypto instead of the era:

* Addr
* BlocksMade
* BootstrapAddress
* BootstrapWitness
* CompactAddr
* Credential
* DCert
* DPState
* DState
* DelegCert
* Delegation
* GenesisDelegCert
* InstantaneousRewards
* MIRCert
* MultiSig
* MultiSigRaw
* NonMyopic
* PState
* PaymentCredential
* PoolCert
* PoolParams
* RewardAccounts
* RewardAcnt
* RewardUpdate
* ScriptHash
* ShelleyGenesisStaking
* SnapShot
* SnapShots
* Stake
* StakeCredential
* StakeReference
* Timelock
* TimelockRaw
* TxId
* TxIn
* Value era
* Wdrl
* WitHashes
* WitVKey

Value serialisation fixes

Remove dependency on temporary base16 compatibility shim

git ls-files -z | xargs -0 sed -i -e 's/MetaData/Metadata/g' -e 's/MetaDatum/Metadatum/g'
rename MetaData Metadata `git ls-files '*.hs'`

Other instances checked with

  git grep '[mM]etaData'

Contents of RTF documents not changed.

These used some custom generators, which generated invalid values.

Also print out the offending token on a failed parse.

Rather than using prune, we instead use `valueFromList` to construct
these directly.

Also add some shrinkers for values.

These used some custom generators, which generated invalid values.

Also print out the offending token on a failed parse.

Rather than using prune, we instead use `valueFromList` to construct
these directly.

Also add some shrinkers for values.

Split in a separate commit.

Fix transaction generation

These used some custom generators, which generated invalid values.

Also print out the offending token on a failed parse.

Rather than using prune, we instead use `valueFromList` to construct
these directly.

Also add some shrinkers for values.

Split in a separate commit.

Also print out the offending token on a failed parse.

Rather than using prune, we instead use `valueFromList` to construct
these directly.

Also add some shrinkers for values.