bug: addmod builtin assertion fails

[enitrat]

In cairo/tests/ef_tests/cancun/test_state_transition.py::test_general_state_tests[stPreCompiledContracts2 - ecrecoverShortBuff_d0g0v0_Cancun] there's an issue where when verifying the constraits on the addmod builtin, this happens:

RuntimeError: add_mod_builtin: Expected a + b == c (mod p). Got: instance=355, batch=0, p=115792089237316195423570985008687907853269984665640564039457584007908834671663, a=0, b=32935497925714090926372191887924593461814130700592960671670977223796577118717, c=0.

Which means that at some point, we're running a circuit with incorrect values.

We need to check what parameters ecrecover is called with - and what the builtin is filled with.