Update the solidity verifier to take in the proof (with pairing points obj) and inner public inputs instead of proof (without pairing points obj) and public inputs

[lucasxia01]

The honk solidity verifier currently takes in the public inputs and proof, where the public inputs contain ALL of the public inputs including the pairing point accumulator. This clashes with other public inputs/proof splits, where the pairing point accumulator is stored with the proof, even though it technically is part of the public inputs.

We should pick one. I think the pairing point object should just be hidden from the users and stored with the proof.