Share Relation arithmetic between Prover/Verifier

The identity arithmetic in the relations is currently duplicated for the Prover and Verifier. This was done consciously to allow for the two to be optimized independently but it has become clear that the benefits of removing the code duplication outweigh the costs. 