Changed to use multi-ghc-travis
Stop using SingRep and use SingI instead
Modified version constraints
Disabled benchmarks using progression temporarily.