Additionally check for the length of the array of proofs
Fix two more duplicates of verify_disjunctive_encryption_proof

See also [Additionally check for the length of the array of proofs].
Merge pull request #23 from demtech/check-zk-length

Check zk length.