Bump con-leche and con-ron

[nomeata]

Bumps the con-leche checker to d0bbad6 and con-ron to 2e34866, which pins that con-leche commit.

con-leche's definitional equality now follows the official kernel's is_def_eq_core almost clause for clause:

• whnfCore has a cheap-projection mode, like official's cheap_proj.
• There is a lazy-delta step function, used both by the lazy-delta loop and by a separate loop for comparing projections (official's lazy_delta_proj_reduction).

Before this, both checkers fully evaluated a projection's struct during definitional equality. That made them fail with "fuel exhausted: whnf loop" on perf/proj-cheap-struct and on the Palomar submission it is distilled from. Both now accept perf/proj-cheap-struct and perf/proj-lazy-struct in milliseconds.

Cost: con-leche runs Mathlib in the same wall time with 2.3 % more instructions. On Init, con-ron uses 6 % more instructions single-threaded.

🤖 Generated with Claude Code

https://claude.ai/code/session_01XWm1rSWq3gU3E9qWjqPQup