Fix two more duplicates of verify_disjunctive_encryption_proof

See also [Additionally check for the length of the array of proofs].