quickcheck test naive: memory overload