fix(jolt-core): Fixes DIVU and REMU sequence_output

jolt-core/src/jolt/instruction/divu.rs

@@ -228,7 +228,15 @@ impl<const WORD_SIZE: usize> VirtualInstructionSequence for DIVUInstruction<WORD
     }
 
     fn sequence_output(x: u64, y: u64) -> u64 {
-        x / y
+        if y == 0 {
+            match WORD_SIZE {
+                32 => u32::MAX as u64,
+                64 => u64::MAX,
+                _ => panic!("Unsupported WORD_SIZE: {}", WORD_SIZE),
+            }
+        } else {
+            x / y
+        }
     }
 }
 
@@ -238,7 +246,7 @@ mod test {
     use crate::{jolt::instruction::JoltInstruction, jolt_virtual_sequence_test};
 
     #[test]
-    fn div_virtual_sequence_32() {
+    fn divu_virtual_sequence_32() {
         jolt_virtual_sequence_test!(DIVUInstruction::<32>, RV32IM::DIVU);
     }
 }

jolt-core/src/jolt/instruction/remu.rs

@@ -206,10 +206,14 @@ impl<const WORD_SIZE: usize> VirtualInstructionSequence for REMUInstruction<WORD
     }
 
     fn sequence_output(x: u64, y: u64) -> u64 {
-        match WORD_SIZE {
-            32 => (x as u32 % y as u32) as u64,
-            64 => x % y,
-            _ => panic!("Unsupported WORD_SIZE: {}", WORD_SIZE),
+        if y == 0 {
+            x
+        } else {
+            match WORD_SIZE {
+                32 => (x as u32 % y as u32) as u64,
+                64 => x % y,
+                _ => panic!("Unsupported WORD_SIZE: {}", WORD_SIZE),
+            }
         }
     }
 }