Cardano Updates

Merge pull request #1089 from input-output-hk/uroboros/1076/purge_hedgehog_wireup_props

Purge the Hedgehog

Updated Update generators to latest PR for QC migration.

[1076] Remove all Shelley Hedgehog generators

[1076] Translate remaining Hedgehog properties to QC + wire up all LEDGER properties

Merge pull request #1081 from input-output-hk/specs/shelley/no-wdrl-in-consumed

consumed does not use rewards param

Merge pull request #1088 from input-output-hk/nc/deps

Update deps

Update deps

Merge pull request #1085 from input-output-hk/nc/slotting-2

Use slotting types shared with ouroboros-network

Fix doctests

Regen nix

Bump cardano-base dep

Merge pull request #1086 from input-output-hk/shelley/property_based_tests/MIR_certs

Properties for generated MIR certificates

Nix voodoo

Update dependencies

fixup! Fix cs-ledger

Add property that values in the MIR certificate are added to irwd

Fix nix stuff

Fix shelley tests

Add property that mir entries are added to the irwd map

Merge pull request #1082 from input-output-hk/shelley/property_based_tests/MIR

Generate MIR certs

meeting discussion

Cleanup

Cleanup

Fix cs-ledger

Fix cs-ledger

Fix cs-ledger

Allow tracing over a wider set of monads

Allow tracing over a wider set of monads

Allow tracing over a wider set of monads

UTXO rule checks

consumed does not use rewards param

Shelley interface

Merge pull request #1074 from input-output-hk/specs/shelley/prevhash-in-block

adding the last hash in prev epoch to nonce