nightly-2025-01-26

Changes since nightly-2025-01-25:

Full commit log

• 6278839 refactor: lake: all targets produce jobs (#6780)
• 849a252 fix: case split on data in grind (#6781)
• ca56c5e feat: improve support for match-expressions in grind (#6779)
• d106667 fix: assignment for offset constraints in grind (#6778)
• 6dbb54d fix: offset terms internalization (#6777)
• cc260dd feat: support for csimp theorems in toLCNF (#6757)
• 9565334 fix: Grind.MatchCond in checkParents (#6776)
• 2fa38e6 fix: suggest correct trace option name in partial_fixpoint error message (#6774)
• 056d1db fix: typo in partial_fixpoint docstring (#6775)
• e8bbba0 fix: fix builtin simproc Nat.reduceAnd (#6773)