increase quickcheck max size even more