Native Goldilocks/G64 NTTs on an RTX4090, with qingming_fast/standard benchmarks and validated LDE domains up to 2^30.

The annoying bit was an implicit carry bound, and they proved a Plonky2 U32AddManyGate in Lean after exporting Rust constraints.