fix: kzg verification with EVM

[alexander-camuto]

Last feat: PR broke much of the EVM verification. To address this

• update cargo.toml halo2 related repos to pull from latest "main" commit.
• fork halo2 related repos that also need cargo.toml updates
• update traits that have changed since latest release
• switch contract code generation to leverage solc --yul for human readability (if need be)
• update readme
• add KZG EVM verification to CI tests
• test extensively