nightly-2025-01-21

Changes since nightly-2025-01-20:

Full commit log

• f9e904a feat: add BitVec.[getMsbD_mul, getElem_udiv, getLsbD_udiv, getMsbD_udiv] (#6674)
• 8375d00 fix: allow ⱼ in identifiers (#6679)
• 16bd7ea chore: deprecate List.iota (#6708)
• c54287f feat: add proper erasure of type dependencies in LCNF (#6678)
• e3771e3 fix: don't generate code for decls with an implemented_by attribute (#6680)
• 4935829 feat: generalize infoview.maxTraceChildren to the cmdline (#6716)
• 778333c fix: match equality generation (#6719)
• 189f5d4 feat: case splitting in grind (#6717)
• c07f64a doc: Fix (and expand) docstrings for bmod/bdiv (#6713)
• 22117f2 feat: align List/Array/Vector.count theorems (#6712)
• 1d03cd6 fix: negative timestamps and PlainDateTimes before 1970 (#6668)