Need to be careful about in-place tests. Quickcheck doesn't reset values for each test (stupid).