Accumulate pairings

[maramihali]

We've only ever tested one recursive verification at a time and manually checked the pairing is correct using the pcs_verification_key from the native verifier. We will probably need a mechanism to accumulate the pairing across recursive verifiers in the RollupIVC.

Bonus: Also need accumulate the pairings from the recursive merge verifiers