use opt_level: 2 to support mac verification. (#738)

- solve: runtimeverification/solana-token#3

Author: Stevengre

kmir/src/kmir/kdist/plugin.py

@@ -54,6 +54,7 @@ def _default_args(src_dir: Path) -> dict[str, Any]:
             'main_file': src_dir / 'mir-semantics/kmir.md',
             'backend': PykBackend.LLVM,
             'md_selector': 'k & ! symbolic',
+            'opt_level': 2,
             **_default_args(src_dir),
         },
     ),
@@ -63,6 +64,7 @@ def _default_args(src_dir: Path) -> dict[str, Any]:
             'backend': PykBackend.LLVM,
             'llvm_kompile_type': LLVMKompileType.C,
             'md_selector': 'k & ! symbolic',
+            'opt_level': 2,
             **_default_args(src_dir),
         },
     ),