Fix modulo builtin constraints #9286

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

Provide feedback