Added Step 6 and 7 to Verifier, fixed PRG-call in ProofOfShuffle, added variables to ProofStruct