Travis: Run tests and checks with --verify