Cardano Updates

Signed-off-by: jorbuedo <[email protected]>

`IOOp (PrimState m) h` instead of `IOOp m h`

## Issue

ADP-3272

## Description

This PR simplifies the handling of UTxOs within the inner helper
function of `balanceTransaction`, so that it only has to handle two
UTxO-related data structures, both supplied by the outer function:

- `utxoReference`: the set of all UTxOs (formerly known as
`combinedUTxO`).
- `utxoSelection`: the set of all UTxOs that the transaction is allowed
to spend, along with a pre-selected subset.

As a bonus, because this PR moves the computation of UTxO-related data
structures from the inner helper function to the outer function, the
above data structures should now be evaluated **_at most once_**,
instead of multiple times (once per strategy).

## Notes

The `balanceTransaction` function delegates the main portion of its work
to an inner helper function that is parameterised by
`SelectionStrategy`. It initially calls the inner helper function with
`SelectionStrategyOptimal`, but if that strategy fails, then it
(potentially) calls the inner helper function a **_second time_** with
`SelectionStrategyMinimal`.

In the event that the inner helper function is evaluated more than once
(with two different strategies), we ideally want to avoid recomputing
potentially expensive data structures that should be constant across
both evaluations.

Unfortunately, this doesn't work.
The build fails at the end for no apparent reason.

It manages to `ocamlopt` the deploy exe, the run exe, and then fails.
I assume it fails when trying to `ocamlopt` the archive relay exe,
but it does not show up in the log.

This causes problems when starting with unpermissioned user when compiled from source.

Signed-off-by: Chris Gianelloni <[email protected]>