Tell travis to run the type checker

This should prevent the capitalization problem my other PR fixes.
I also agree that creating a cache for a single run is pretty pointless.