nightly-2025-01-03

Changes since nightly-2025-01-02:

Full commit log

• 1907865 perf: avoid unnecessary assert/intro pairs in grind (#6514)
• df9ed20 feat: ite and dite support in grind (#6513)
• 3e2f1fa feat: add user-defined fallback procedure for the grind tactic (#6512)
• 9d62227 feat: custom congruence rule for equality in grind (#6510)
• e46b5f3 fix: congruence closure in the grind tactic (#6509)
• 3cba171 fix: missing case in checkParents (#6508)
• 092449a chore: update stage0
• e9f0691 feat: partial_fixpoint: monotonicity tactic (#6506)
• 7d0c0d4 feat: partial_fixpoint: theory (#6477)
• 9eb173e fix: ignore no_index around OfNat.ofNat in norm_cast (#6438)