fix regressions in tx verifier