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

Job	Run time
build_on_wasm	28m 58s
check-formatting	6s
build_with_bundled_z3 (linux)	12m 40s
build_with_vcpkg_installed_z3 (linux)	1m 23s
build_with_bundled_z3 (macos)	10m 15s
run_clippy	26s
build (macos-latest)	28s
build_with_vcpkg_installed_z3 (macos)	1m 6s
build_with_bundled_z3 (windows)	18m 5s
build (ubuntu-latest)	31s
build_with_vcpkg_installed_z3 (windows)	5m 4s
	1h 19m 2s

Provide feedback