Rust

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

Job	Run time
build_on_wasm	28m 51s
build (macos-latest)	29s
build_with_vcpkg_installed_z3 (linux)	1m 16s
build (ubuntu-latest)	29s
build_with_bundled_z3 (linux)	13m 3s
build_with_vcpkg_installed_z3 (macos)	1m 5s
build_with_bundled_z3 (macos)	12m 44s
check-formatting	7s
build_with_vcpkg_installed_z3 (windows)	4m 30s
build_with_bundled_z3 (windows)	17m 57s
run_clippy	26s
	1h 20m 57s

Provide feedback