Merge remote-tracking branch 'origin/master' into release

kevm-pyk/src/kevm_pyk/cli.py

@@ -367,6 +367,7 @@ def default() -> dict[str, Any]:
     @staticmethod
     def from_option_string() -> dict[str, str]:
         return {
+            'symbolic-immutables': 'break_on_load_program',
             'failure-information': 'failure_info',
             'no-failure-information': 'no_failure_info',
         }