Minor comment changes during dealing with verify/compute in MembershipProof.java