Get rid of crypto parametrization

[Lucsanszky]

Description

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• New tests are added if needed and existing tests are updated
• 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)
• 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)
• 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

[Lucsanszky]

Opened a draft PR, since now it's a good time to discuss a few things and then we can proceed with cleaning up the commit history, resolving conflicts etc.

[Lucsanszky]

Marking this ready for review.

A few things that still needs to be done:

• Remove extraneous specialisations
• Maybe run hlint --refactor as a rebase script to remove some extra parenthesis leftovers

[Lucsanszky]

Review progress tracker:

• eras:
  • shelley
  • allegra
  • mary
  • alonzo
  • shelley-ma
  • babbage
  • conway 👍
• libs:
  • cardano-ledger-api
  • cardano-ledger-conformance
  • cardano-ledger-core
  • cardano-ledger-test
  • cardano-protocol-tpraos
  • ledger-state

[lehins]

I've reviewed the whole PR.
Now we just need to wait for #4699 to be merged.