more regtests working -- test assertions in encryption