Cardano Updates

The ValueData/UnValueData benchmark generator produced Values up
to 50_000 entries, but the `valueData` builtin rejects inputs
whose totalSize exceeds `valueDataMaxSize` (40_000). Oversized
inputs caused CekEvaluationFailure, which benchWith escalates
via `error`, tearing down the whole Criterion run and discarding
earlier measurements.

Tie the generator directly to the builtin's constant: export
`valueDataMaxSize` from PlutusCore.Value and use it in place of
the local `maxValueEntries`. This makes the two limits
structurally impossible to drift apart. Enable NumericUnderscores
in the package's default-extensions so the constant can be
written as `40_000`.

The ValueData/UnValueData benchmark generator produced Values up
to 50_000 entries, but the `valueData` builtin rejects inputs
whose totalSize exceeds `valueDataMaxSize` (40_000). Oversized
inputs caused CekEvaluationFailure, which benchWith escalates
via `error`, tearing down the whole Criterion run and discarding
earlier measurements.

Tie the generator directly to the builtin's constant: export
`valueDataMaxSize` from PlutusCore.Value and use it in place of
the local `maxValueEntries`. This makes the two limits
structurally impossible to drift apart. Enable NumericUnderscores
in the package's default-extensions so the constant can be
written as `40_000`.

The BuiltinData second constructor affects PIR output and budget values
slightly (CPU +0.7-1.5%, memory +1.5%, but AST/Flat size decreases).
Also updates stage violation error messages and renames from fourmolu.