Makes verify more robust and display more verbose information.