CDDL roundtrip testing

[lehins]

Description

• Move cddl files to the era packages
• Switch to using hspec for testing cddl
• Add roundtrip testing to the cddl tests. Meaning that the value is now checked on the Haskell side that reserialization produces the same value. We already do this kind of test for all of the types, but this one uses CDDL generators, rather QuickCheck's arbitrary, which is just a nice litlle extra.
• Move CDDL tests for TPraos header to cardano-protocol-tpraos, rather than run it in shelley.
• Important part is that all of the same functionality is still being tested. No tests were removed. But, no tests have been added for any types that haven't been tested before. We'll need to do that in a separate PR, since current CDDL tests are not exhaustive.

Noticeable speed up in the CDDL testing. This is new:

$ cabal build cardano-protocol-tpraos cardano-ledger-shelley cardano-ledger-allegra cardano-ledger-mary cardano-ledger-alonzo cardano-ledger-babbage cardano-ledger-conway
...
$ time cabal test cardano-protocol-tpraos cardano-ledger-shelley cardano-ledger-allegra cardano-ledger-mary cardano-ledger-alonzo cardano-ledger-babbage cardano-ledger-conway --test-options='-m CDDL' -j1
...
real	2m31.690s
user	2m22.752s
sys	0m10.389s

vs old:

$ cabal build cardano-ledger-shelley-test cardano-ledger-shelley-ma-test cardano-ledger-alonzo-test cardano-ledger-babbage-test cardano-ledger-conway-test
...
$ time cabal test cardano-ledger-shelley-test cardano-ledger-shelley-ma-test cardano-ledger-alonzo-test cardano-ledger-babbage-test cardano-ledger-conway-test --test-options='-p CDDL' -j1
...
real	3m50.625s
user	3m37.120s
sys	0m15.423s

Which means we can add some more CDDL tests.

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• New tests are added if needed and existing tests are updated
• When applicable, versions are updated in .cabal and CHANGELOG.md files according to the
  versioning process.
• The version bounds in .cabal files for all affected packages are updated. If you change the bounds in a cabal file, that package itself must have a version increase. (See RELEASING.md)
• All visible changes are prepended to the latest section of a CHANGELOG.md for the affected packages. New section is never added with the code changes. (See RELEASING.md)
• Code is formatted with fourmolu (use scripts/fourmolize.sh)
• Cabal files are formatted (use scripts/cabal-format.sh)
• hie.yaml has been updated (use scripts/gen-hie.sh)
• Self-reviewed the diff

[nc6]

One issue with the documentation of readProcessNoFailure, otherwise everything is minor and may be addresssed/dismissed as desired.

[aniketd]

Awesome! 🙌