feat(hints): add ids.is_250 and ids.is_small hint implementations

[MegaRedHand]

Closes: #1059
Closes: #1060

Description

This PR moves the implementation of two hints over from the starknet_in_rust project. The two hints are now called: IS_250_BITS and IS_ADDR_BOUNDED.

Checklist

• Linked to Github Issue
• Unit tests added
• Integration tests added.
• This change requires new documentation.
  • Documentation has been added/updated.
  • CHANGELOG has been updated.

[codecov]

Codecov Report

Merging #1073 (06b8f08) into main (0fad948) will increase coverage by 0.00%.
The diff coverage is 99.30%.

@@           Coverage Diff            @@
##             main    #1073    +/-   ##
========================================
  Coverage   98.10%   98.10%            
========================================
  Files          84       84            
  Lines       33994    34135   +141     
========================================
+ Hits        33349    33489   +140     
- Misses        645      646     +1     

Impacted Files	Coverage Δ
...int_processor/builtin_hint_processor/math_utils.rs	98.03% <99.28%> (+0.11%)	⬆️
...int_processor/builtin_hint_processor_definition.rs	99.01% <100.00%> (+<0.01%)	⬆️

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

[github-actions]

Benchmark Results for unmodified programs 🚀

Command	Mean [s]	Min [s]	Max [s]	Relative
base blake2s_integration_benchmark	3.202 ± 0.050	3.141	3.288	1.00 ± 0.02
head blake2s_integration_benchmark	3.186 ± 0.039	3.156	3.282	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base compare_arrays_200000	3.926 ± 0.067	3.862	4.071	1.01 ± 0.03
head compare_arrays_200000	3.899 ± 0.082	3.857	4.129	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base dict_integration_benchmark	2.951 ± 0.009	2.944	2.974	1.00 ± 0.01
head dict_integration_benchmark	2.946 ± 0.012	2.931	2.971	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base factorial_multirun	4.749 ± 0.033	4.715	4.828	1.00 ± 0.01
head factorial_multirun	4.734 ± 0.018	4.712	4.767	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base fibonacci_1000_multirun	3.792 ± 0.019	3.776	3.841	1.00
head fibonacci_1000_multirun	3.812 ± 0.067	3.763	3.990	1.01 ± 0.02

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base field_arithmetic_get_square_benchmark	162.4 ± 28.6	151.8	243.7	1.06 ± 0.19
head field_arithmetic_get_square_benchmark	152.7 ± 1.0	151.1	154.6	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base integration_builtins	3.746 ± 0.039	3.700	3.806	1.00 ± 0.01
head integration_builtins	3.732 ± 0.022	3.698	3.775	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base keccak_integration_benchmark	3.468 ± 0.025	3.450	3.535	1.00 ± 0.01
head keccak_integration_benchmark	3.459 ± 0.008	3.447	3.472	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base linear_search	4.030 ± 0.025	4.002	4.070	1.00
head linear_search	4.040 ± 0.026	4.016	4.105	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base math_cmp_and_pow_integration_benchmark	3.373 ± 0.009	3.360	3.388	1.00
head math_cmp_and_pow_integration_benchmark	3.395 ± 0.021	3.372	3.440	1.01 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base math_integration_benchmark	3.059 ± 0.028	3.036	3.131	1.00
head math_integration_benchmark	3.065 ± 0.024	3.046	3.129	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base memory_integration_benchmark	2.705 ± 0.015	2.679	2.725	1.00
head memory_integration_benchmark	2.718 ± 0.033	2.682	2.805	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base operations_with_data_structures_benchmarks	2.758 ± 0.018	2.741	2.797	1.01 ± 0.01
head operations_with_data_structures_benchmarks	2.735 ± 0.007	2.721	2.744	1.00

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base pedersen	932.7 ± 9.4	925.4	957.4	1.00 ± 0.01
head pedersen	929.0 ± 4.8	921.7	939.4	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base poseidon_integration_benchmark	1.728 ± 0.005	1.719	1.737	1.00
head poseidon_integration_benchmark	1.729 ± 0.009	1.716	1.746	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base secp_integration_benchmark	3.073 ± 0.012	3.059	3.094	1.00
head secp_integration_benchmark	3.081 ± 0.013	3.063	3.114	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base set_integration_benchmark	2.220 ± 0.014	2.207	2.249	1.00
head set_integration_benchmark	2.248 ± 0.006	2.237	2.255	1.01 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base uint256_integration_benchmark	4.796 ± 0.018	4.759	4.822	1.00 ± 0.00
head uint256_integration_benchmark	4.780 ± 0.010	4.761	4.795	1.00

[fmoletta]

Looks good! Left a small suggestion