Changed the decryption line in the NizkDecryptionFunctionalTest.java
to a (multiple option) line from the new test set. Also changed the
 public keys, so that the test runs.