Use -noverify for Travis builds that now run on 7u65
- see http://blog.travis-ci.com/2014-08-22-upcoming-build-environment-updates/