Rust

Update Z3 to 4.13.2 and update emscripten to `latest` #520

Job	Run time
build_with_vcpkg_installed_z3 (linux)	23m 58s
build (macos-latest)	54s
build_with_vcpkg_installed_z3 (macos)	14m 28s
build_with_bundled_z3 (linux)	15m 27s
build (ubuntu-latest)	29s
build_on_wasm	36m 48s
build_with_vcpkg_installed_z3 (windows)	33m 21s
build_with_bundled_z3 (macos)	14m 57s
build_with_bundled_z3 (windows)	19m 7s
check-formatting	5s
run_clippy	30s
	2h 40m 4s

Provide feedback