Cardano Updates

This commit tweaks the serialization instance of Dijkstra block bodies to take
optional Peras certificates into account. This should be later enhanced with
round-trip tests to ensure backwards compatibility.

This commit adds an optional PerasCert to the Dijkstra block body.

In addition, it defines and instantiates a DijkstraEraBlockBody type class to
expose this certificate via the perasCertBlockBodyL lens.

At this point, serialization does not yet account for certificates, and will
be implemented and tested in a separate commit.

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`.