Remove more unused uses of -verify.