add verify commands, and more logging to track down a deadlock