Update verifier to ensure tx verify after restart