Made NIZK test more rigorous to try to track down issues with decryption.