Cardano Updates

  The Timelock(..) import became redundant after removing the
  NativeScript era ~ Timelock era constraint from someLeaf.
  With -Werror, this caused the CI build to fail.

Refactor such that each example from an era is build on top of the
example of the previous era.

Allows:
* reduced duplication
* each example of each era has most fields set with values

Update block and tx cbor golden files given changes in the block and
transation content.

and extract missing data checks into a function analogous to
`missingRequiredDatums` check from Alonzo UTXOW

`validateInputSetEmptyUTxO`, `validateBadInputsUTxO`,
`validateMaxTxSizeUTxO`, `validateOutputBootAddrAttrsTooBig``

`validateInputSetEmptyUTxO`, `validateBadInputsUTxO`,
`validateMaxTxSizeUTxO`, `validateOutputBootAddrAttrsTooBig``