Changed the Checker code a lot for match-fix fusion. All tests pass but many of the treesort ones still don't