Remove redundant checks of size of range proof and surjection proof
Remove redundant checks of size of range proof and surjection proof

The checks are redudant because too large range proofs and surjection
proofs will be rejected by libsecp256k1. Furthermore, the checks are not
precise, and they are anyway not present in other similar code locations.

tdudz/elements,tdudz/elements,tdudz/elements,tdudz/elements,tdudz/elements,tdudz/elements