[DO NOT MERGE] Quartic constraint fails

[mcarilli]

Proof of concept for issue #202.
quartic_constraint.rs is just a copy of quadratic_constraint.rs modified to make the constraint quartic instead of quadratic.

mcarilli:src$ cargo test --release quartic
...
---- test_prove_quartic stdout ----
[2023-07-21T01:49:13Z ERROR lambdaworks_stark::starks::verifier] FRI verification failed
thread 'test_prove_quartic' panicked at 'assertion failed: verify::<F, QuarticAIR<F>>(&proof, &pub_inputs, &proof_options)', tests/integration_tests.rs:130:5

[MauroToscano]

Thanks for this PR!