Don't make 'auto' verification the default when assertions or expensive checks are enabled while I investigate the test failures on the bots.
