.travis.yml: don't run very time-consuming tests

A test was considered hung because of BooleanSuiteCompile, at least that should be fixed. For the time being, just speed up tests by skipping benchmarks.