Cardano Updates

Cleanup `Cardano.Ledger.Shelley.TxBody` module.

It turns out there was two copies of `HKD` defined in
`cardano-ledger-shelley`. Consolidated into one and moved it into core.

It would actually make sense to move this tool into `cardano-base`,
since it also turns out there is another copy of this concept defined
in `ouroboros-consensus/src/Ouroboros/Consensus/Util/Args.hs`, with a
very similar looking mapping functionality as well. If not move it into
`cardano-base` at least reuse one from ledger in consensus would be a
decent idea too.

It turns out there was two copies of `HKD` defined in
`cardano-ledger-shelley`. Consolidated into one and moved it into core.

It would actually make sense to move this tool into `cardano-base`,
since it also turns out there is another copy of this concept defined
in `ouroboros-consensus/src/Ouroboros/Consensus/Util/Args.hs`, with a
very similar looking mapping functionality as well. If not move it into
`cardano-base` at least reuse one from ledger in consensus would be a
decent idea too.

Each testcase defines the transaction to be validated, along with the
outputs that should exist in utxo at the time of the validation.
The invokes one of the three functions: `testExpectSuccessValid`,
`testExpectSuccessInvalid` or `testExpectFailure`, depending on what we
want to test.
These functions, based on the given transaction and outputs, construct
the initial and actual utxo and check it against the expected one.

integrity hash not needed for all ref scripts

Co-authored-by: Alexey Kuleshevich <[email protected]>

If a reference script is not actually going to be run, we do not need to
demand the corresponding langugae be a part of the script integrity
hash.

This commit fixes the implementation, we must also fix the spec.

Each testcase defines the transaction to be validated, along with the
outputs that should exist in utxo at the time of the validation.
The invokes one of the three functions: `testExpectSuccessValid`,
`testExpectSuccessInvalid` or `testExpectFailure`, depending on what we
want to test.
These functions, based on the given transaction and outputs, construct
the initial and actual utxo and check it against the expected one.

fix haskell comment regarding alonzo fee figure