fix for bug 83. Verifier thread needs to be exited when AMS shuts down, was exiting when EO shut down