bumped some versions
Updated some version dependencies
minor changes
Added Liquid Haskell test target