Update the TravisCI definition to just run quickCheck.

This is for the pull request integration. This way, we will get green/red indicators in the GitHub UI as to whether or not the proposed change passes the quick check, which is or initial pipeline stage.