bug: MULMOD failing on modulus 0

[greged93]

Bug Report

Kakarot version: ee6458a

Current behavior:
Any call to the MULMOD opcode with a modulus value of 0 will fail, due to the fact that we are calling the uint256_mul_div_mod which doesn't accept 0 as a div value.

kakarot/src/kakarot/instructions/stop_and_arithmetic_operations.cairo

Lines 359 to 370 in ee6458a

	// Stack input:
	// 0 - a: number.
	// 1 - b: number.
	// 1 - c: modulos.
	let stack = ctx.stack;
	let (stack, popped) = Stack.pop_n(self=stack, n=3);
	let a = popped[0];
	let b = popped[1];
	let c = popped[2];
	// Compute the mul mod
	let (_, _, rem) = uint256_mul_div_mod(a, b, c);

Expected behavior:
Given 0 as the modulus value, the returned value should always be 0, whatever the value for first and second stack value (a and b in the above snippet).

Steps to reproduce:

• clone ef-tests: https://github.com/kkrt-labs/ef-tests
• generate katana dump of kakarot system and move the .katana folder to your ef-tests directory
• run

RUN_SPECIFIC_TESTS=mulmod_d12g0v0_Shanghai cargo test -p ef-testing --features ef-tests -- --nocapture

all the below tests will fail due to the modulus value:
https://github.com/ethereum/tests/blob/develop/src/GeneralStateTestsFiller/VMTests/vmArithmeticTest/mulmodFiller.yml#L178-L222

Failing output should be:

thread 'blockchain_tests::vm_tests' panicked at 'attempt to divide by zero', ~/.cargo/registry/src/index.crates.io-6f17d22bba15001f/num-bigint-0.4.3/src/biguint/division.rs:168:9
[!] Case ~/code/rust/ef-tests/crates/ef-testing/ethereum-tests/BlockchainTests/GeneralStateTests/VMTests/vmArithmeticTest/mulmod.json failed (description: mulmod): Test failed: error sending request for url (http://[::1]:52181/): connection closed before message completed