Nuplompiler/Test: bring testing infrastructure from old plompiler
This MR adds:
- Negative Plonk tests for every positive test defined through the helpers.
- Regressions for the size of the generated circuits
- Deterministic randomness through the
RANDOM_SEED
env variable.