Cardano Updates

* Certifier: refactor modular relation combinators

* Update test-certifier-report test

- Transform/Lib.hs:114 — uniqueFromText now fails fast on non-ASCII or
  overflow-length (>7 byte) hints instead of silently aliasing Uniques
  (https://github.com/IntersectMBO/plutus/pull/7774#discussion_r3388121673)

On 32-bit targets (notably wasm32) several builtin denotations narrow an
Integer index/length to the platform Int before bounds-checking, which
wraps and silently diverges from 64-bit evaluation. Gate the fixes behind
WORD_SIZE_IN_BITS so 64-bit platforms compile the original code unchanged:
no semantics, cost, or golden change on any platform the node runs on.

Affected: sliceByteString, indexByteString, readBit, indexArray,
integerToByteString (hardcoded 8-byte word), and the PlutusTx wrappers.

Fixes #7808.

Use OverloadedRecordDot for fresh-name generation in the Transform.* specs:
fresh.a in place of the freshNames2..8 ladder and name. The Unique is derived
from the hint text, so one hint denotes one variable.

Complete the Transform.Lib migration for floatDelay4, and reword the true/false
and fresh-name docs per review.

Move helpers (`var`, `lam`, `app`, `delay`, `case_`, `builtin`,
`addInteger`) from `Transform.Inline.Spec` into a new shared
`Transform.Lib` module, extend with `force`, `con`, `err`, `headList`,
`ite`, `true`, `false`, `constr`, and a `T` alias for
`Term Name DefaultUni DefaultFun ()`.

Migrate `Transform.Simplify.Spec` to use these helpers throughout,
replacing inline `LamAbs ()` / `Apply ()` / `Force ()` / `Delay ()` /
`Var ()` / `Builtin ()` / `Error ()` / `mkConstant @Integer ()` /
`Constr ()` / `Case () _ (V.fromList _)` constructors and per-test
`plus`/`con` duplicates. Inline trivial `let one = con 1` /
`two = con 2` / `three = con 3` bindings.

Local bindings that shadowed top-level helpers are renamed to
semantic identifiers describing their role (`dupLam`, `forceAddLam`,
`applyLam`, `delayLam`, `trueBranch`, `falseBranch`).

No behaviour change; all goldens unchanged.