Speed up TIPA verification

[Pratyush]

Here we perform 2-4 pairings, which is expensive.https://github.com/scipr-lab/ripp/blob/945be9a26efd140732bd1ac808137b7c0a8a12c4/ip_proofs/src/tipa/mod.rs#L305

instead we should do a multi-pairing, batching the final exponentiations. We should also check if the pairings can be batched better by reshuffling things in the pairing equation