Don't run cabal check on travis-ci

cabal check fails when using -O2.