refactor(openings): split PCS traits into verifier/prover halves and fuse batched openings#1467

quangvdao wants to merge 2 commits into

a16z:refactor/cratesa16z/jolt:refactor/cratesfrom

quangvdao:quang/pcs-prover-verifier-splitquangvdao/jolt:quang/pcs-prover-verifier-splitCopy head branch name to clipboard