Set up more advanced fuzzing #7
Description
Current tests all still use our provided witness generation, so they will not fully test the air tightness of circuit constraints. We need to set up tests, either with MockProver or actual keygen and create_proof, where user can submit witness values to test against our circuits' constraints.