Property based tests for diff invariants.