Rust

Z3 Optimize: add `assert_and_track` and `get_unsat_core` #498

Job	Run time
build (macos-latest)	28s
build_with_vcpkg_installed_z3 (linux)	23m 11s
build (ubuntu-latest)	28s
build_with_bundled_z3 (linux)	13m 15s
build_on_wasm	29m 15s
build_with_bundled_z3 (macos)	10m 24s
build_with_vcpkg_installed_z3 (macos)	10m 50s
build_with_bundled_z3 (windows)	18m 5s
check-formatting	3s
build_with_vcpkg_installed_z3 (windows)	32m 36s
run_clippy	26s
	2h 19m 1s

Provide feedback