nightly-2024-10-29

Changes since nightly-2024-10-28:

Full commit log

• 4ee44ce chore: update stage0
• 1437033 fix: prevent addPPExplicitToExposeDiff from assigning metavariables (#5276)
• b308f2b fix: let simp arguments elaborate with error recovery (#5863)
• 9eded87 fix: remove withoutRecover from apply elaboration (#5862)
• 19bebfc feat: improved calc error messages (#5719)
• c57d054 feat: support all the SMTLIB BitVec divison/remainder operations in bv_decide (#5869)
• 2f1dc87 feat: add BitVec.(msb, getMsbD)_concat (#5865)
• f558402 feat: add BitVec.[zero_ushiftRight|zero_sshiftRight|zero_mul] and cle… (#5858)
• 62521f4 fix: let congr conv tactic handle "over-applied" functions (#5861)