recursion-v2: bind batch main verifier constraints#1377

hero78119 merged 33 commits into

feat/recursion-v2-merge-masterscroll-tech/ceno:feat/recursion-v2-merge-masterfrom

feat/recursion_batch_main_constraintsscroll-tech/ceno:feat/recursion_batch_main_constraintsCopy head branch name to clipboard