Revert incremental default to false; fix CI stack overflow

Author: MikaelMayer

.github/workflows/ci.yml

@@ -88,18 +88,9 @@ jobs:
         uses: leanprover/lean-action@v1
         with:
           use-github-cache: false
-          build: false
           test: false
-      - name: Build Strata
-        shell: bash
-        run: |
-          ulimit -s 65536
-          lake build
       - name: Run tests (excluding Python)
-        shell: bash
-        run: |
-          ulimit -s 65536
-          lake test -- --exclude Languages.Python
+        run: lake test -- --exclude Languages.Python
       - name: Save lake cache
         uses: actions/cache/save@v5
         with:

Strata/Languages/Core/Options.lean

@@ -220,7 +220,7 @@ def VerifyOptions.default : VerifyOptions := {
   uniqueBoundNames := false
   skipSolver := false
   profile := false
-  incremental := true
+  incremental := false
   pathCap := .none
 }