Fix modulo builtin constraints #9283

Job	Run time
Build release binary for comparisons	55s
upload_proof_programs_symlinks	14s
Build the wasm demo	55s
Build Cairo programs (cairo_bench_programs)	19s
Build Cairo programs (cairo_proof_programs)	19s
Build Cairo programs (cairo_test_programs)	23s
Build Cairo programs (cairo_1_test_contracts)	17s
Build Cairo programs (cairo_2_test_contracts)	17s
Run Lints	1s
Compute memory and execution traces with cairo-lang	1s
Merge Cairo programs cache	1s
Make sure all builds work (workspace)	1s
Make sure all builds work	1s
Make sure all builds work (no_std)	1s
Run tests	1s
Upload coverage results to codecov.io	1s
Compute memory and execution traces with cairo-vm	1s
Compare factorial outputs for all layouts	1s
Compare outputs with dynamic layouts	1s
Compare memory and execution traces from cairo-lang and cairo-vm	1s
Compare all outputs from running Cairo PIEs	1s
	3m 52s

Provide feedback