Check zk length

This is a cherry-pick of this pull-request https://github.com/benadida/helios-server/pull/46
After a quick grep I found **two more** duplicates of `verify_disjunctive_encryption_proof` in phoebus... a refactoring is more than necessary a that point.

I did not run the new code for this fork but these extra checks are necessary.