Rust

Update bundled Z3 to z3 4.12.3. #463

Job	Run time
build (macos-latest)	1m 30s
build (macos-latest)	1m 30s
build_with_vcpkg_installed_z3 (linux)	22m 22s
build_with_vcpkg_installed_z3 (linux)	22m 22s
build (ubuntu-latest)	32s
build (ubuntu-latest)	32s
build_with_bundled_z3 (linux)	12m 43s
build_with_bundled_z3 (linux)	12m 43s
build_with_vcpkg_installed_z3 (macos)	31m 44s
build_with_vcpkg_installed_z3 (macos)	31m 44s
build_on_wasm	27m 22s
build_on_wasm	27m 22s
build_with_bundled_z3 (macos)	17m 50s
build_with_bundled_z3 (macos)	17m 50s
build_with_vcpkg_installed_z3 (windows)	31m 0s
build_with_vcpkg_installed_z3 (windows)	31m 0s
build_with_bundled_z3 (windows)	19m 4s
build_with_bundled_z3 (windows)	17m 15s
check-formatting	4s
check-formatting	4s
run_clippy	52s
run_clippy	52s
	5h 28m 17s

Provide feedback