add missed next_is_delayslot case

Author: weilzkm

crates/core/executor/src/executor.rs

@@ -1243,9 +1243,11 @@ impl<'a> Executor<'a> {
             }
             Opcode::Jumpi => {
                 (a, b, c, next_next_pc) = self.execute_jumpi(instruction);
+                self.state.next_is_delayslot = true;
             }
             Opcode::JumpDirect => {
                 (a, b, c, next_next_pc) = self.execute_jump_direct(instruction);
+                self.state.next_is_delayslot = true;
             }
 
             // Misc instructions.

crates/core/machine/src/cpu/air/mod.rs

@@ -163,6 +163,7 @@ impl CpuChip {
         // Verify the relationship between initial start pc and initial next pc.
         builder
             .when_first_row()
+            .when_not(local.is_halt)
             .assert_eq(local.pc + AB::Expr::from_canonical_u32(4), local.next_pc);
 
         // Verify the pc, next_pc, and next_next_pc