Useful to see if verifier is preempting anything. (cherry picked from commit 7f459f58) Change-Id: I594cbdc5c2f8934fc6c4fc7ee47fc4ccfc3c627d