analysis cmbmc verification test is now run in ui thread