Cardano Updates

Add interactive visualization for the IndexByteString builtin function
to the cost-models site. This provides a visual baseline of the current
constant-cost model (13169 picoseconds CPU) before the denotation change
in #7699 that removes the redundant double bounds check.

Relates to #7469

Updated Marlowe golden TSV files to reflect improved budgets from the
caseInteger SoP fix. CPU: -9..12%, Memory: -16..20%.

Replace runtime list-indexing via PlutusTx.List.!! with a compile-time
equalsInteger/ifThenElse chain for the SumsOfProducts caseInteger
fallback. This fixes a 3-5x cost regression in unsafeFromBuiltinData
for multi-constructor types (reported by Hydra team).

Also fixes a latent bug in compileHaskellList that silently dropped
list elements when GHC used (:)-chain representation instead of
build/foldr form.

Add golden budget tests for unsafeFromBuiltinData compilation in both
SumsOfProducts and BuiltinCasing modes.  Covers single-constructor,
pair, mixed-arity, and three-constructor types with PIR, UPLC, and
evaluation golden files for GHC 9.6 and 9.12.

Add interactive visualization for the IndexByteString builtin function
to the cost-models site. This provides a visual baseline of the current
constant-cost model (13169 picoseconds CPU) before the denotation change
in #7699 that removes the redundant double bounds check.

Relates to #7469

* Upgrade to agda 2.8 and agda-stdlib 2.3

* Properly regenerate MAlonzo, add new modules to cabal, fix certificate generator