Added libfunc to constrain felt252 into one of two guarantees.

[orizi]

Stack:

• Added high level tests for constrain + verify. #5871
• Added suuport for some bounded_int guarantee verifications. #5870
• Added libfunc to constrain felt252 into one of two guarantees. #5869 ⬅
• Moved into-guarantee test into bounded-int. #5867
• Handling extremely long user-type names by specific bounding. #5858
• Moved guarantee to be generic for bounded int. #5852

⚠️ Part of a stack created by spr. Do not merge manually using the UI - doing so may have unexpected results.

---

This change is 

[ilyalesokhin-starkware]

crates/cairo-lang-sierra/src/extensions/modules/bounded_int.rs line 119 at r1 (raw file):

        IntoGuarantee(BoundedIntIntoGuaranteeLibfunc),
        Felt252Constrain(BoundedIntFelt252ConstrainLibfunc),
        VerifyGuarantee(BoundedIntVerifyGuaranteeLibfunc),

wasn't this added in a diffrent PR?

Code quote:

  VerifyGuarantee(BoundedIntVerifyGuaranteeLibfunc),