fix(acvm): Clear ACIR call stack after successful circuit execution

test_programs/execution_failure/fold_nested_brillig_assert_fail/src/main.nr

@@ -3,6 +3,7 @@
 // The features being tested is using assert on brillig that is triggered through nested ACIR calls.
 // We want to make sure we get a call stack from the original call in main to the failed assert.
 fn main(x: Field) {
+    assert(1 == fold_conditional_wrapper(!x as bool));
     assert(1 == fold_conditional_wrapper(x as bool));
 }
 

tooling/nargo/src/ops/execute.rs

@@ -167,6 +167,10 @@ impl<'a, F: AcirField, B: BlackBoxFunctionSolver<F>, E: ForeignCallExecutor<F>>
                 }
             }
         }
+        // Clear the call stack if we have succeeded in executing the circuit.
+        // This needs to be done or else all successful ACIR call stacks will also be
+        // included in a failure case.
+        self.call_stack.clear();
 
         Ok(acvm.finalize())
     }