Remove the proposals workaround from UTXO conformance, add LEDGER conformance

[Soupstraw]

Description

This PR removes a workaround in the UTXO conformance test. I modified the spec so that it doesn't add new deposits in the UTXO rule. I also moved the UTXO conformance logic into dedicated modules.

I had to disable some certificates, because the Generic generators aren't generating the deposits field correctly.

I also added conformance testing for the LEDGER rule. It seems to be succeeding in most cases, but sometimes the generators generates values that make the test fail.

closes #4672

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

[lehins]

We need to get rid of traceShow. Other than that it looks good

[williamdemeo]

I won't pretend to have carefully checked and understood everything here, but what I do understand looks good. I ran the tests (nix develop and cabal test all) and all that are implemented passed.

Requested changes were added