make --verify a command line option that is disabled by default