feat(invariant): rename continuous_run to assert_all and default to true

Renames the InvariantConfig field to better describe its semantics
("assert every invariant in the suite, don't stop on first failure")
and flips the default to true so multi-invariant suites report all
broken invariants by default, matching Echidna/Medusa behavior.

Amp-Thread-ID: https://ampcode.com/threads/T-019dcd68-66ac-76ed-ac5c-7ea722a9c9ae
Co-authored-by: Amp <amp@ampcode.com>

Author: grandizzy

crates/config/src/invariant.rs

@@ -49,8 +49,10 @@ pub struct InvariantConfig {
     ///
     /// Example: `check_interval = 10` means assert after calls 10, 20, 30, ... and the last call.
     pub check_interval: u32,
-    /// Continue invariant run until all invariants declared in current test suite breaks.
-    pub continuous_run: bool,
+    /// Assert every invariant declared in the current test suite, continuing the campaign after
+    /// the first failure until all invariants have been broken (or normal limits are hit).
+    /// When `false`, the campaign aborts on the first broken invariant (legacy behavior).
+    pub assert_all: bool,
 }
 
 impl Default for InvariantConfig {
@@ -72,7 +74,7 @@ impl Default for InvariantConfig {
             max_time_delay: None,
             max_block_delay: None,
             check_interval: 1,
-            continuous_run: false,
+            assert_all: true,
         }
     }
 }

crates/forge/src/runner.rs

@@ -791,7 +791,7 @@ impl<'a, FEN: FoundryEvmNetwork> FunctionRunner<'a, FEN> {
                 .filter(|(invariant_fn, _)| {
                     *invariant_fn == func
                         || (!is_optimization
-                            && invariant_config.continuous_run
+                            && invariant_config.assert_all
                             && !canonicalized(failure_dir.join(invariant_fn.name.clone())).exists())
                 })
                 .collect(),

crates/forge/tests/cli/config.rs

@@ -224,7 +224,7 @@ failure_persist_dir = "cache/invariant"
 show_metrics = true
 show_solidity = false
 check_interval = 1
-continuous_run = false
+assert_all = true
 
 [labels]
 
@@ -1317,7 +1317,7 @@ forgetest_init!(test_default_config, |prj, cmd| {
     "max_time_delay": null,
     "max_block_delay": null,
     "check_interval": 1,
-    "continuous_run": false
+    "assert_all": true
   },
   "ffi": false,
   "live_logs": false,

crates/forge/tests/cli/test_cmd/invariant/mod.rs

@@ -1318,11 +1318,11 @@ contract CheckIntervalInlineTest is Test {
     ]]);
 });
 
-forgetest_init!(continous_run, |prj, cmd| {
+forgetest_init!(assert_all, |prj, cmd| {
     prj.update_config(|config| {
         config.invariant.runs = 10;
         config.invariant.depth = 100;
-        config.invariant.continuous_run = true;
+        config.invariant.assert_all = true;
     });
     prj.add_source(
         "Counter.sol",