Cardano Updates

Store (Haskell) cardano-node's db in R2 buckets for e2e tests

Co-authored-by: Copilot <[email protected]>

Co-authored-by: Copilot <[email protected]>

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

1. Introduce subTx info type (using an alias for `TxInfo` for now).
2. Extend `TxInfo` with field `txInfoSubTxs : Maybe (List SubTxInfo)`.
3. Define a purpose-built builder:

   + Top-level Guard scripts ⇒ `txInfoSubTxs = just (...)`
   + Everything else ⇒ `txInfoSubTxs = nothing`
   + SubTx scripts ⇒ always `nothing` (even for `Guard` at sub level)

Key idea:

+  Keep `txGuards` as a set **for now**.
+  Define an ordered view `guardsList : List Credential` via `setToList`.
+  Make `indexOfGuard` operate on that list.
+  Let `rdptr` compute the `Ix` using `indexOfGuard`.

For the "required top-level guards requested by subTxs" (i.e., `txRequiredTopLevelGuards` requests), we don't need a new ScriptPurpose constructor yet, because:

+  phase-1 ensures those requested credentials are contained in top-level `txGuards`
+  the later work (#1004 / #1006) will decide how to construct TxInfo / datum arguments for running those guard scripts batch-wide

+ a minimal `UTXOS` rule as a stub/hook (so `UTXO` can call something),
+ a minimal `UTXO` rule with just the new phase-1 premise (plus an explicit "calls UTXOS"),
+ a minimal `UTXOW`; just a wrapper over `UTXO` for now.

Skip rendering the detail overlay if the terminal is too small to display
it properly. This prevents potential rendering issues on very small terminals.

Detail view is now implemented as an overlay (show_detail_overlay) rather
than a separate view variant. This removes the unused enum variant and
cleans up all match arms that referenced it.