Cardano Updates

Per feedback from @carlostome: balance interval assertions should be
checked per-(sub)transaction in the UTXO and SUBUTXO rules, analogously
to how slot validity intervals are already checked.  This eliminates the
need for batch-level aggregation of balance intervals and the associated
domain-disjointness constraint.

Removed:
+  "Account Balance Intervals" prose subsection
+  `allBalanceIntervals : TopLevelTx → AccountBalanceIntervals` helper
+  Footnote [^2] referencing Issue #1117

The `txBalanceIntervals` field on `TxBody` and the `BalanceIntervalsOf`
type class accessor (both introduced in #1114) are unchanged; they
provide per-(sub)transaction access, which is exactly what the UTXO and
SUBUTXO rules need.

Direct deposits (`allDirectDeposits`) still require batch-level
aggregation because they are an additive state update; balance intervals,
being pure precondition checks, do not.

See Issue #1117 for the per-transaction checking design.

- Increase top padding for better spacing between header and content
- Change info icon to warning triangle for unverified metadata section

Bumps [fast-xml-parser](https://github.com/NaturalIntelligence/fast-xml-parser) from 4.5.3 to 4.5.6.
- [Release notes](https://github.com/NaturalIntelligence/fast-xml-parser/releases)
- [Changelog](https://github.com/NaturalIntelligence/fast-xml-parser/blob/master/CHANGELOG.md)
- [Commits](https://github.com/NaturalIntelligence/fast-xml-parser/compare/v4.5.3...v4.5.6)

---
updated-dependencies:
- dependency-name: fast-xml-parser
  dependency-version: 4.5.6
  dependency-type: indirect
...

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

The ghc-9.10-windows-dll-dependent-symbol-type-fix.patch was not applied
to GHC 9.14.1, but the fix was never upstreamed. This caused FFI calls
to C DLLs to crash in the iserv interpreter during TH evaluation
(th-dlls-minimal test). Remove the upper version bound so it applies to
all GHC versions from 9.4 onwards.

Signed-off-by: Ales Verbic <[email protected]>

Signed-off-by: Ales Verbic <[email protected]>

Signed-off-by: Ales Verbic <[email protected]>

Had to add a constraint to cabal.project. The latest version of
the happy parser errors out when compiling hackell-src-exts.