nightly-2025-01-23

Changes since nightly-2025-01-22:

Full commit log

• f35a602 feat: use cast to "fix" types in the E-matching module within grind (#6750)
• 14841ad fix: bugs in grind (#6748)
• 5f3c0da feat: BitVec.ushiftRight in terms of extractLsb' (#6745)
• 6befda8 feat: add twoPow multiplication lemmas (#6742)
• 6595ca8 feat: improve equation theorem support in grind (#6746)
• 91e261d chore: disable Elab.async on the cmdline for now (#6722)
• 6ebce42 perf: fast path for multiplication with constants in bv_decide (#6739)
• b6db90a doc: mention subscript j in the lexical structure (#6738)
• 7706b87 feat: bv_decide support for structures of supported types (#6724)