Added a liquid haskell test-suite