Add ability to create proofs from proving keys and verification keys

[kevaundray]

Problem

Without a proving and verifying key, we will need to preprocess each time we create or verify a proof

Solution

(Describe your suggestion.)

Alternatives considered

(Describe any alternative solutions you have considered.)

Additional context

(If applicable.)

[kevaundray]

Closing this as this has been completed on the ACIR side