Cardano Updates

since the check for missing/redundant script witnesses will be done at
top level

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

High level summary of mempool and constraint findings

Adversarial mempool simulations w/ Leios

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

Persist cabal store, package index, and dist-newstyle across builds
using BuildKit cache mounts, enabling incremental recompilation and
avoiding full dependency rebuilds on every image build.

Co-Authored-By: Claude Opus 4.6 <[email protected]>

Replace the hand-rolled AnyPlutusScript GADT in Compatible/Read.hs with
Cardano.Api.Experimental.Plutus.AnyPlutusScript. Update readFilePlutusScript
to accept a ShelleyBasedEra era witness and return the era-parameterised
experimental type directly. Simplify Compatible/Transaction/Run.hs and
rewrite Compatible/Transaction/ScriptWitness.hs to use the experimental
script witness API throughout, eliminating the old CertificateScriptWitness
wrapper and all associated boilerplate.

Adds genAnyScript and genSimpleScriptInEra generators, along with
roundtrip and garbage-input property tests for SerialiseAsCBOR AnyScript.

Uses eqT to handle the existential lang in AnyPlutusScript, delegating
to the underlying Eq instances on SimpleScript and PlutusScriptInEra.
Also adds Typeable lang constraint to the AnyPlutusScript constructor.

Add HasTypeProxy and SerialiseAsCBOR instances for AnyScript era,
enabling CBOR serialisation/deserialisation of both simple and plutus
scripts using the ledger's native Script era encoding format.

Closes #1088