Witness generation for KZG proving

[gabrielbosio]

NOTE: For now, witness generation is necessary because we still don't have o1js bindings to prove using KZG.

• Uses the monorepo version of Mina to generate the circuit witness using o1js.
  • The Mina monorepo is used locally, so this PR adds a preinstall script that clones that repo and builds o1js and its bindings.
• Adds a witness JSON file for the KZG prover. This won't be needed when we add the listener fetcher because it will run the EVM bridge to create the witness and the KZG prover will read it, all in the same command.
• Changes the verifier circuit so it extends from the o1js Circuit. This implies removing all the Scalar operations inside the circuit and computing them outside.
• Updates the Jest version because the version used in main fails when the bridge uses the Mina monorepo locally.
• Removes verification step in KZG prover.
  • This will be implemented as a Solidity verifier when o1js have foreign fields.

[pablodeymo]

LGTM