fix quickcheck upper bound in leksah-9999