Add Support for Batch STARKs with Proving, Verification, and Recursion (

0xPolygonZero#1600)

* add batch starks

* fix build

* fix ci

* address comments from hratoanina

* address comments from Nashtare

* fix tests

* address comments from hratoanina

* Update plonky2/src/batch_fri/recursive_verifier.rs

Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>

* Update plonky2/src/hash/merkle_proofs.rs

Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>

* Update plonky2/src/batch_fri/verifier.rs

Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>

---------

Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>

plonky2/src/batch_fri/mod.rs

@@ -0,0 +1,4 @@
+pub mod oracle;
+pub mod prover;
+pub mod recursive_verifier;
+pub mod verifier;