batch AIR sumcheck (#191)

* remove check_air_validity (debug purpose)

* remove poseidon benchamrk

* batched AIR sumcheck

---------

Co-authored-by: Tom Wambsgans <TomWambsgans@users.noreply.github.com>

Author: TomWambsgans

Cargo.lock

@@ -51,7 +51,6 @@ wildcard_imports = "allow"
 
 [workspace.dependencies]
 # Local
-air = { path = "crates/air" }
 utils = { path = "crates/utils" }
 lean_vm = { path = "crates/lean_vm" }
 xmss = { path = "crates/xmss" }
@@ -83,7 +82,6 @@ prox-gaps-conjecture = ["rec_aggregation/prox-gaps-conjecture"]
 [dependencies]
 clap.workspace = true
 rec_aggregation.workspace = true
-air.workspace = true
 rand.workspace = true
 sub_protocols.workspace = true
 utils.workspace = true