Cardano Updates

### Single state analysis

<img width="993" height="1367" alt="image"
src="https://github.com/user-attachments/assets/e8bf6b73-2bfd-477d-8c47-f3330f9fc9b9"
/>

<img width="1053" height="1385" alt="image"
src="https://github.com/user-attachments/assets/4f6da251-bd7e-4256-b250-ade3d642a238"
/>

### Multiple parties diagnostic mode

<img width="1364" height="773" alt="image"
src="https://github.com/user-attachments/assets/c6a37bb3-2688-461d-a4af-6c6949b1021c"
/>

### Todo

- [x] Tidyup `ui` nix shell to be specific for this thing
- [x] Readme showing how to use it
- [x] Code tidyups?

Signed-off-by: Eric Torreborre <[email protected]>

getLedgerTablesUTxOValues: use getOriginalTxIn instead of coerceMapKeys

Signed-off-by: Eric Torreborre <[email protected]>

Signed-off-by: Eric Torreborre <[email protected]>

Signed-off-by: Eric Torreborre <[email protected]>

Provide generator for conway-based UTxO with valid domain values.

One is impossible, the other is a plain lie. Treat them separately so we
have a better time debugging this should it happen.

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

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

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