Luke

Thanks for raising this issue. We'll be removing the module `Cardano.Crypto.Encryption` as part of issue #690.

> Should the `TxWitness` also be included in the hash? I believe so, yes.

> I believe so, yes. I guess I'm wrong about this. ``` -- | Represents transaction identifier as 'Hash' of 'Tx' type TxId = Hash Tx ```

Round-trip tests added in #628.

I still haven't gotten around to adding goldens.

For the `MICRValidIndicator` field in the Check Detail Record, this is particularly important as X9 ICL files received from the FRB will specify this field as blank.