fix failing benchmarks, except Data.Text.Encoding
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
fix more benchmarks/tests
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell