v2023.04.25

Steel is being split out to its own repository at https://github.com/FStarLang/steel . So, this F* release is the last one with Steel still being part of F*'s standard library.

What's Changed

• GitHub Actions workflows: releases, MacOS, Windows by @tahina-pro in #2880
• Excluding some fixpoint reductions in typechecker by @mtzguido in #2881
• Fixing inconsistencies in inspect_ln by @aseemr in #2882
• A synchronous mode for SMT queries (+ tactic), plus a change to --split_queries by @mtzguido in #2776
• Reducing some dependencies from the compiler into ulib by @mtzguido in #2883
• Misc memory fixes by @mtzguido in #2885
• Advance to 2023.04.25~dev by @dzomo in #2888

Full Changelog: v2023.04.08...v2023.04.25