Cardano Updates

Current implementation of ticking in ImpSpec is a bit naive, since it
calls `TICK` rule for every slot. This is not only slow, but it also
does not match the reality. On an actual running node TICK is called
on every block, which happens on average every `1/activeSlotCoefficient`
number of slots. On mainnet this is about every 20 slots or every 20
seconds.

Switching to this approach makes imp tests significantly faster, namely
about 80% faster on the example of Conway imp tests.

Fixed native script nonemptyness check

Co-authored-by: Alexey Kuleshevich <[email protected]>

We add new libraries named `cddl` for shelley and allegra to implement
typeclasse-based cuddle definitions to generate .cddl files from.

Besides just using type-applications to distinguish between eras for a
definition we also use smart-constructors that can be parameterised to
further reduce duplication.

Co-Authored-By: Alexey Kuleshevich <[email protected]>

Only allow `PlutusV1` when parsing cost models in `AlonzoGenesis`
and `UpgradeAlonzoPParams`.

* Override cost models when injecting into test state (if extra config
cost models are provided)
* Preserve `AlonzoGenesis` JSON and binary representations but change
the Haskell side representation