4.12.1 release
Changes:
- 3012293 update release script
- fcc1bb5 updated release notes
- 7368f9f increase build version, better propagation in euf-egraph, handle assumptions in sat.smt
- c8f197d specify macos-11 in nightly to force os11 build
- dde5218 fix mbqi value caching issue raised by Clemens and Martin
- d5fde2e #6538
- 4f7f437 fix bug in new core not detecting conflict, fix #6525, add tactic doc
This list of changes was auto generated.