GoProof added Reviewer

GoProof added Reviewer