fixed redirection to incremental decrypt_and_prove, removed time.sleep hack from helios only tally decryption