Moved into-guarantee test into bounded-int.

[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]

Reviewed 2 of 2 files at r1, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @orizi)