Move away from using the cabal test suite

  Thes test-suite stuff doesn't currently work well with cabal-dev, so
until that's fixed, we'll go back to conditionally generating a test suite
that can be run by jenkins.