Ported NizkpCleansingIntegrationTest from 2011 to 2013