Cardano Updates

Also enable `StrictData` for the `UTxOHistory.Type` module containing
the `UTxOHistory` type.

### Comments

### Issue Number

ADP-3494

to reduce memory leak in deposit wallet

This pull request adds a pragma

```agda
{-# FOREIGN AGDA2HS
{-# LANGUAGE StrictData #-}
#-}
```

to long-lived data structure in order to control memory usage.

This pull request fixes the mapping from `XPub` to `Addr` by hashing the
public key rather than the full extended public key.

This pull request adds more `Show` instances in modules
`Cardano.Wallet.Address.*`.

This pull request adds a function `deriveXPrvBIP32Path` to the module
`Cardano.Wallet.Address.BIP32_Ed25519`.

This pull request changes the import of the Haskell module
`Cardano.Crypto.Wallet` to be (more) vanilla, where we postulate the
functions (mostly) as exported, instead of trying to massage the module
functions.

The module `Cardano.Wallet.Address.BIP32_Ed25519` then imports the
`Haskell.Cardano.Crypto.Wallet` and does perform a massage.