Ported DecryptionLineProofUnitTest to 2013 -- removig the one from 2011