Increase upper bound for package quickcheck
Documentation for Weight