add constraints
increase quickcheck max size