Also adds more feedback during the verify loop.