Updated proofStruct, changed argument to keyVerifier, added step 5 to Verifier.cpp