feat(vk): commit proof_commitment with vk and proof system to verify a vk corresponds to a proof.

[PatStiles]

closes: #1042

Hashes the proof with the verification_key/vm_program_code + proving_system_byte. Specifically proof_commitment is added to the hashing of the proving_system_aux_data_commitment. This binds the proof, verification_key, and proving_system (via id) into one commitment that can be verified via a merkle root check.

This ensures the verification_key is binding with respect to the proof.

TODO:

• Test on local testnet.
• Verify get_vk_commitment and verifying information on chain works
• Verify proofs with a different verification key than the commitment cannot be verified.