nightly-2025-01-24

Changes since nightly-2025-01-23:

Full commit log

• c70f406 fix: heterogenenous equality support in match conditions within grind (#6761)
• 757899a chore: run test suite with Elab.async for more coverage
• a901e34 perf: avoid cross-thread environment extension state synchronization for now
• bab10cc feat: asynchronous kernel checking
• d26dbe7 fix: do not double-report snapshotTasks after wrapAsyncAsSnapshot
• 214093e fix: prevent Task.get deadlocks from threadpool starvation (#6758)
• ebda2d4 chore: update stage0
• 7e03920 feat: zetaUnused option (option only) (#6754)
• d033804 doc: remove duplicated sentense in Lean.Syntax.node (#6752)
• 56733b9 refactor: TerminationArgument → TerminationMeasure (#6727)
• c073da2 chore: update stage0
• d8bcd6a doc: correspondence ModuleIdx <--> Environment.moduleNames (#6749)