Fix tests for GHC 7.8

also remove "cabal check" from travis.yml for now