Balance constraints between certificate and IVC circuits

## Why
We aim at optimizing the implementation of the recursive Halo2 circuit by balancing the circuits constraints between certificate (non-recursive) circuit and IVC (recursive) circuit.

## What
Balance the constraints between non-recursive and recursive Halo2 circuits

## How

- [ ] Move the genesis certificate verification from IVC circuit to certificate circuit to avoid using `Jubjub` chip in IVC circuit. (Jubjub chip is already switched on in certificate circuit)
- [ ] Move `Sha256` hash on protocol message from IVC circuit to certificate circuit to avoid using `Sha256` chip in ivc circuit
- [ ] Evaluate if the above changes reduces the verification time for IVC proof and accumulator