Cryptol to Python test bench

[b13decker]

We want to test out the following Cryptol functions against the corresponding Deneb Python Spec implementations:

• [x] evaluate_polynomial_in_evaluation_form: large inputs but all fixed sized values (BlsPolynomial is 4096 256-bit values)
• [x] compute_quotient_eval_within_domain: large inputs but all fixed sized values (BlsPolynomial is 4096 256-bit values)
• [x] compute_kzg_proof_impl: arge inputs but all fixed sized values (BlsPolynomial is 4096 256-bit values)
• [x] compute_kzg_proof arge inputs but all fixed sized values (BlsBlob is the same size as the BlsPolynomial)
• [x] verify_kzg_proof_impl: for this one we will need to create a generator for G1 points
• [x] verify_kzg_proof: for this one we will need to create a generator for G1 points that then get compressed