Diff properties should verified using QuickCheck #100
Description
The Diff module states a bunch of properties, but they are out of date, and have no corresponding tests. We need to update them and write tests for them.