Cardano Updates

Bumps [orjson](https://github.com/ijl/orjson) from 3.11.5 to 3.11.6.
- [Release notes](https://github.com/ijl/orjson/releases)
- [Changelog](https://github.com/ijl/orjson/blob/master/CHANGELOG.md)
- [Commits](https://github.com/ijl/orjson/compare/3.11.5...3.11.6)

---
updated-dependencies:
- dependency-name: orjson
  dependency-version: 3.11.6
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <[email protected]>

Signed-off-by: Roland Kuhn <[email protected]>

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

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

Bumps [black](https://github.com/psf/black) from 25.1.0 to 26.3.1.
- [Release notes](https://github.com/psf/black/releases)
- [Changelog](https://github.com/psf/black/blob/main/CHANGES.md)
- [Commits](https://github.com/psf/black/compare/25.1.0...26.3.1)

---
updated-dependencies:
- dependency-name: black
  dependency-version: 26.3.1
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>

git-subtree-dir: crates/gateway
git-subtree-mainline: bf757697f3274f0ed02b17e6a6fa61e97ddc7a01
git-subtree-split: 35a134bc4f91d510c6f23ab93e9c4bfa9923c005

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

+ Heavily refactor the script:
- switch to named arguments instead of positional
- rework proof hashes writting and artifacts join for better perf
- allow running in non-interactive environments (e.g. CI)

This simplify the design has the prover was always returning a list with
only one item anyway.
The optional is for the case were the items lists could not be certified
either because:
1. they are not in the cardano chain at all
2. they are in the chain but not yet certified by Mithril

Note: on openapi we enforce a `null` for the field instead of allowing
it to be missing, this is intentional to show clearly that no proof
could be computed.

Replace internal lib/balance-tx/ with the standalone
cardano-balance-transaction library. All imports updated from
Internal.Cardano.Write.* / Cardano.Write.* to Cardano.Balance.Tx.*.
Remove balance-tx entries from CI workflows and flake.nix.

Closes #5203

Update hackage.nix to get cardano-addresses >= 4.0.2. Switch
application-tls from asn1-types/asn1-encoding/hourglass to
crypton-asn1-types/crypton-asn1-encoding/time-hourglass to resolve
the ASN1CharacterString diamond dependency.