Port the test suite to tasty
Add properties for language extensions to the test suite
Make use of the new Cabal testing interface

Also, take a chance to update the .cabal file