increase quickcheck max size