restoring check that termination measures are >= 0
failing tests due to additional constraint
some tests
closer
closer
almost there
only encoding fails
removing invariant
restore termination proof in Data.Text.Search
ignore termination of Data.Text.Encoding.encodeUtf8 for now
Update FAILING_TESTS.txt
Merge pull request #120 from ucsd-progsys/termination

Fix for Termination