Cardano Updates

Replace nix flake check with direct test execution to prevent OOM.
Each test suite runs with +RTS -M2G to cap heap at 2GB.

The previous Arbitrary instance could generate EpochLength values up to
maxBound (4 billion) combined with epoch numbers up to 1000, causing
flatSlot to return trillions. Tests using applyN (flatSlot slot) would
hang indefinitely.

Now constrains EpochLength to 1-1000 and bounds epoch number so flatSlot
stays under ~10000 iterations.

Co-authored-by: Sotatek-DukeVu <[email protected]>

* feat(plutus-tx-plugin): improve stage violation error messages

Add detection of opaque builtin types (BuiltinUnit, BuiltinData, etc.) from PlutusTx.Builtins.Internal and provide actionable guidance when users hit "Cannot construct a value of type" errors.

These errors typically occur when where-bindings inside compile quotations trigger stage violations. The improved messages explain the cause and suggest moving bindings to top-level.

* test(plutus-tx-plugin): add stage violation error message tests

Exercise the improved error messages for various opaque builtin types: BuiltinUnit, BuiltinData, BuiltinByteString, BuiltinString, BuiltinList. Includes positive test for BuiltinInteger (type alias, not opaque).

Uses context-level=0 to avoid package hash mismatches between local and CI builds in golden file output.

* docs: document where-binding stage violation workarounds

Add troubleshooting section explaining why where-bindings inside compile quotations fail with 'Cannot construct a value of type' errors. Provides concrete before/after code examples showing how to move bindings to top-level.

* chore(plutus-tx-plugin): add changelog entry for improved error messages

From https://github.com/IntersectMBO/ouroboros-consensus at eccbfd4d5f7a1e41841b184bd189c9e144d221d5

From https://github.com/IntersectMBO/ouroboros-consensus at eccbfd4d5f7a1e41841b184bd189c9e144d221d5

Signed-off-by: Matthieu Pizenberg <[email protected]>

MDX parses components inside HTML comments, causing build failures.
Remove SingleDocker126/127 tab items and commented imports since
the single-docker.md files were previously deleted.

Signed-off-by: Sasha Bogicevic <[email protected]>

Signed-off-by: Matthieu Pizenberg <[email protected]>

MDX parses components inside HTML comments, causing build failures.
Remove SingleDocker126/127 tab items and commented imports since
the single-docker.md files were previously deleted.