Minor cleanup in ProofSystem
FiatShamirChallengeGenerator finished
Array renaming
Array improvements