Cardano Updates

Rename testNewEncodings to testEncodingStability for clarity.
Fix plutus-core ^>=1.59 version bound to ^>=1.60. Remove
unnecessary -Wno-* flags and unused text dependency from
flat-encoding-generator. Improve executable comment with
golden testing context and Wikipedia reference.

Pay down test coverage debt for Flat serialization instances.
This ensures encoding stability is verified by tests before
we attempt to fix the Generic derivation bug in a follow-up PR.

Adds roundtrip and stable byte encoding tests for:
- Flat library types (Maybe, Either, NonEmpty, Complex, Ratio,
  Set, Tree, Map, Seq, DList, Filler, PreAligned, and
  monoid/semigroup wrappers)
- TPLC types (Version, Name, Kind, DeBruijn, NamedDeBruijn,
  SrcSpan, SrcSpans, DefaultFun, DefaultUni, and all newtype
  wrappers including TyName, Unique, TyDeBruijn, etc.)
- PIR types (Recursivity, Strictness)
- UPLC types (Binder variants, FakeNamedDeBruijn, minimal
  Program encoding)
- Value types (K encodes as ByteString, Quantity as Integer)

Also adds a standalone encoding generator executable
(cabal run flat-encoding-generator) for reproducing expected
byte constants.

consClose only advanced currPtr by at most 1 byte, so when
constructor_bits + usedBits >= 16 (e.g., 9-bit tag after 7 used
bits), usedBits overflowed to 8+. This corrupted the decoder state,
causing the Filler decoder to loop infinitely and consume all memory.

Use divMod to correctly advance by any number of bytes, matching the
pattern already used by dropBits_.

Fixes #7542

consClose only advanced currPtr by at most 1 byte, so when
constructor_bits + usedBits >= 16 (e.g., 9-bit tag after 7 used
bits), usedBits overflowed to 8+. This corrupted the decoder state,
causing the Filler decoder to loop infinitely and consume all memory.

Use divMod to correctly advance by any number of bytes, matching the
pattern already used by dropBits_.

Fixes #7542

Rename testNewEncodings to testEncodingStability for clarity.
Fix plutus-core ^>=1.59 version bound to ^>=1.60. Remove
unnecessary -Wno-* flags and unused text dependency from
flat-encoding-generator. Improve executable comment with
golden testing context and Wikipedia reference.

Rename testNewEncodings to testEncodingStability for clarity.
Fix plutus-core ^>=1.59 version bound to ^>=1.60. Remove
unnecessary -Wno-* flags and unused text dependency from
flat-encoding-generator. Improve executable comment with
golden testing context and Wikipedia reference.

Pay down test coverage debt for Flat serialization instances.
This ensures encoding stability is verified by tests before
we attempt to fix the Generic derivation bug in a follow-up PR.

Adds roundtrip and stable byte encoding tests for:
- Flat library types (Maybe, Either, NonEmpty, Complex, Ratio,
  Set, Tree, Map, Seq, DList, Filler, PreAligned, and
  monoid/semigroup wrappers)
- TPLC types (Version, Name, Kind, DeBruijn, NamedDeBruijn,
  SrcSpan, SrcSpans, DefaultFun, DefaultUni, and all newtype
  wrappers including TyName, Unique, TyDeBruijn, etc.)
- PIR types (Recursivity, Strictness)
- UPLC types (Binder variants, FakeNamedDeBruijn, minimal
  Program encoding)
- Value types (K encodes as ByteString, Quantity as Integer)

Also adds a standalone encoding generator executable
(cabal run flat-encoding-generator) for reproducing expected
byte constants.

Rename testNewEncodings to testEncodingStability for clarity.
Fix plutus-core ^>=1.59 version bound to ^>=1.60. Remove
unnecessary -Wno-* flags and unused text dependency from
flat-encoding-generator. Improve executable comment with
golden testing context and Wikipedia reference.

* Version generated .flat programs of marlowe benchmark, add to data-files

* Better names for qualified modules

* Regenerate marlowe semantics validators

* Remove unused dependency

* Update dependencies for marlowe-agda-cek