[Feature request]: Range check intrinsic

[ETatuzova]

Is your feature request related to a problem? Please describe. A clear and concise description of what the problem is.

Describe the solution or interface you'd like Input -- field type Parameter -- number of bits Output -- bool

Additional context We need this for poseidon grinding block in recursive verification. We have to have a possibility to check that field element is less than 222 bits

[ETatuzova]

We can just switch on range_check component for operator < on pallas::base_field_type::value_type if second operand is constant and 2-degree