VampIR: LLVM for polynomial circuits, now with benchmarks!

A language to write back-end agnostic arithmetic circuits for zero knowledge proving systems. With VampIR, users can execute arithmetic circuits and generate proofs based on the selected back-end proving system. We will also provide benchmarks!