Cardano Updates

Bump ouroboros-consensus to ^>=3.0 and plutus to ^>=1.61

makeUnsignedTx: error when Plutus scripts present without protocol params

  Update dependency bounds to match CHaP revisions (PR #1344, PR #1342):
  - ouroboros-consensus ^>=2.0 -> ^>=3.0
  - plutus-core ^>=1.59 -> ^>=1.61
  - plutus-ledger-api ^>=1.59 -> ^>=1.61

convPParamsToScriptIntegrityHash silently returned SNothing when protocol
parameters were missing but Plutus scripts required computing the script
integrity hash. This caused downstream consumers (e.g. cardano-cli
build-raw) to produce invalid transaction bodies missing field 11
(script_data_hash).

makeUnsignedTx now returns Either MakeUnsignedTxError, and
convPParamsToScriptIntegrityHash explicitly checks whether the hash needs
to be computed before checking for protocol parameters.

Addresses IntersectMBO/cardano-cli#1363

Fixes #601. Links to dependency packages (cardano-ledger-*, plutus-*,
etc.) were relative paths pointing to directories that don't exist on
the hosted site, resulting in 404s.

Add a post-processing script that rewrites these relative links to
absolute URLs pointing at the correct external documentation sites.

Add HasCallStack to standalone functions that call error directly or
indirectly (via fromMaybe impossible), so that call stacks are captured
in error messages. Class methods are left unconstrained since the
failing instances (castVerificationKey extended key conversions,
ByronKeyLegacy deterministicSigningKey) guard impossible code paths.
Also improve Dijkstra-era placeholder error messages to be more
descriptive.

Add ToJSON instance for new experimental TxOut

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

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

The AlonzoEraScript constraint already proves which eras need
the Alonzo+ JSON rendering, so we can avoid overlapping instances
by enumerating concrete instances that delegate to a shared helper.

- Use forAll with Gen.element instead of forM_ so Hedgehog reports
  which era failed in counterexamples
- Move inlineDatumhash field from datumFields to inlineDatumFields
  where it logically belongs
- Remove unused Control.Monad (forM_) import and unnecessary type
  annotation wrapper

Add HasCallStack to standalone functions that call error directly or
indirectly (via fromMaybe impossible), so that call stacks are captured
in error messages. Class methods are left unconstrained since the
failing instances (castVerificationKey extended key conversions,
ByronKeyLegacy deterministicSigningKey) guard impossible code paths.
Also improve Dijkstra-era placeholder error messages to be more
descriptive.

- Remove UpdateProposal CBOR roundtrip test since EraBasedProtocolParametersUpdate
  has stub ToCBOR/FromCBOR instances
- Set cost models to SNothing in genAlonzoOnwardsPParams since cost models
  don't survive CBOR roundtrip (matching the old generator behaviour)
- Fix unused import in Shared.hs