src/verifier.rs: Fix checks for divisions by zero
src/verifier.rs: Fix checks for divisions by zero

There is a bug in the verifier: The checks for divisions by zero when
the operand comes from an immediate are applied to 64-bit
multiplications instead of 64-mod operations. Fix it.

Signed-off-by: Quentin Monnet <d6b8e48afb2534b213e391cab43016505747a234@isovalent.com>

qmonnet/rbpf