- Added correct handling of LIsnull in QuickCheck.
- Fixed a bug in Rewrite.hs that wasn’t causing issues yet, but was a bug nonetheless.
- Sped up QuickCheck tests by making the number of iterations dependent on the specific test.