fixing verifier that I broke when fixing vmnc for ciphertexts