Cardano Updates

Drop the `:: () =>` constraint from `runNodeKeyGenBLSCmd` and
`runNodeKeyHashBlsCmd` signatures

Replace parameterized ScriptRequirements GADT with flat unparameterized ADTs

Drop the `:: () =>` constraint from `runNodeKeyGenBLSCmd` and
`runNodeKeyHashBlsCmd` signatures

Use default for the description of the text envelope

Drop the `:: () =>` constraint from `runNodeKeyGenBLSCmd` and
`runNodeKeyHashBlsCmd` signatures

Update Compatible layer, Transaction runners, and option parsers
to use the new flat script types.

The previous ScriptRequirements GADT and associated type families
(OptionalDatum, MintPolicyId) forced callers to pattern match on
nullary constructors like NoPolicyId and NoScriptDatumAllowed that
carry no information. For example, in the old Certificate/Read.hs:

    PlutusRefScriptCliArgs
        refInput
        (AnySLanguage lang)
        Exp.NoScriptDatumAllowed  -- meaningless
        NoPolicyId                -- meaningless
        redeemerFile
        execUnits

These constructors exist only to fill slots demanded by the type
families in contexts where those fields don't apply. This is an
inherent cost of a single GADT polymorphic over all script contexts.

Replace with flat, context-specific ADTs that simply omit fields
irrelevant to their context:
- PlutusSpendingScriptRequirements: carries an optional datum
- PlutusMintingScriptRequirements: carries a PolicyId
- PlutusNonAssetScriptRequirements: needs neither (certificates,
  voting, withdrawals, proposals)