chore: default parseQuotWithCurrentStage to true in stage 0

[Kha]

Use the default that solves bootstrapping issues in exchange for an insignificant(?) perf overhead

[Kha]

!bench

[leanprover-bot]

Here are the benchmark results for commit 731ce4c.
There were significant changes against commit 884a9ea:

  Benchmark   Metric         Change
  ============================================
- stdlib      instructions    10.2% (3906.1 σ)
- stdlib      task-clock       6.8%   (53.4 σ)

[Kha]

!bench

[leanprover-community-bot]

Mathlib CI status (docs):

• ✅ Mathlib branch lean-pr-testing-6212 has successfully built against this PR. (2024-11-25 16:48:34) View Log
• ✅ Mathlib branch lean-pr-testing-6212 has successfully built against this PR. (2024-11-26 11:30:12) View Log

[leanprover-bot]

Here are the benchmark results for commit 0f8f040.
There were significant changes against commit 884a9ea:

  Benchmark                   Metric         Change
  ============================================================
+ bv_decide_inequality.lean   task-clock      -5.8%  (-18.8 σ)
+ bv_decide_inequality.lean   wall-clock      -6.4%  (-11.2 σ)
- stdlib                      instructions    10.2% (5791.1 σ)
- stdlib                      task-clock       7.1%   (61.1 σ)
- stdlib                      wall-clock       4.1%   (23.4 σ)