fix(brillig): Stop on VM failure

brillig_bytecode/src/lib.rs

@@ -37,7 +37,7 @@ impl VM {
 
     /// Loop over the bytecode and update the program counter
     pub fn process_opcodes(mut self) -> Registers {
-        while self.process_opcode() != VMStatus::Halted {}
+        while !matches!(self.process_opcode(), VMStatus::Halted | VMStatus::Failure) {}
         self.finish()
     }
     // Process a single opcode and modify the program counter

brillig_bytecode/src/opcodes.rs

@@ -65,7 +65,7 @@ pub enum Opcode {
         source: RegisterMemIndex,
     },
     /// Used if execution fails during evaluation
-    Trap
+    Trap,
 }
 
 #[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]