Improve debug output when verification tests fail.