feat: allow modifying the upper bound in bits.ToBinary

[ivokub]

Currently, when calling bits.ToBinary, we constrain that the bits are bits, the bits add up to the initial value and that the bits do not overflow (by checking that the bits are less than scalar field modulus bits). But for other uses it would be great if we could have other constant bound we check against, see for example discussions in #1420