make verifier thread exit properly
merge