Added a couple of quickcheck properties to test against `linear` as a model