Cardano Updates

Switch proto-lens SRP from carbolymer fork to google upstream master

Co-authored-by: Copilot Autofix powered by AI <[email protected]>

Co-authored-by: Copilot Autofix powered by AI <[email protected]>

Co-authored-by: Copilot Autofix powered by AI <[email protected]>

Bump haskell-language-server to 2.13.0.0

Prevent bogus Copilot review remarks about `.cabal` file formatting

Release cardano-api-10.25.0.0

Unify cert indexing via indexCertificatesWith

Introduce indexCertificatesWith, a shared helper that associates each
certificate with its position-based ScriptWitnessIndex while preserving
unwitnessed certificates (those stored with a Nothing witness).

Previously indexTxCertificates filtered out Nothing-witness certs,
silently dropping them during fee balancing. The return type now
includes Maybe so callers must handle both cases.

Fixes #1138

- Cover ConwayRegCert (unwitnessed), ConwayUnRegCert (key-witnessed),
  ConwayDelegCert (simple-script-witnessed), and ConwayRegDelegCert
  (key-witnessed) in the substituteExecutionUnits property.
- Randomize cert ordering via Gen.shuffle for meaningful variation.
- Add property: collectTxBodyScriptWitnesses produces no spurious
  script witnesses from unwitnessed or key-witnessed certs.
- Add property: createCompatibleTx preserves all certs (witnessed and
  unwitnessed) in the resulting ledger transaction body.
- Extract shared genShuffledCertsWithCount generator.

Update indexTxCertificates in the experimental API and Compatible/Tx
to use the shared indexCertificatesWith helper. Fix
mapScriptWitnessesCertificates in both the legacy and experimental
APIs to handle Nothing-witness certs instead of silently dropping them.
Update collectTxBodyScriptWitnesses and createCompatibleTx callers to
pattern-match on the new Maybe return type.