Add a range constraint builtin that does not type check the field

[kevaundray]

Problem

Given that our range constraints do not allow us to apply range constraints greater than 128 bits, it would be good to have an unsafe way to do arithmetics on fields.

Happy Case

Add the following method to the stdlib:

    #[builtin(apply_range_constraint)]
    fn __apply_range_constraint(_self: Self, _bit_size: u32) {}

    pub fn apply_range_constraint(self: Self, bit_size: u32) {
        crate::assert_constant(bit_size);
        self.__apply_range_constraint(bit_size);
    }

Alternatives Considered

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response

[TomAFrench]

Or.... implement Ord on Fields!