`AVM`: multi-pcs prototype

[iakovenkos]

Create a flexible multipcs prototype for the avm prover aimed at benching different batch sizes and the way they affect proving downstream recursive verifier circuits