Rust

Update Z3 to 4.13.2 and update emscripten to `latest` (#309) #521

Job	Run time
build_on_wasm	37m 22s
build (macos-latest)	49s
build_with_vcpkg_installed_z3 (linux)	29m 50s
build (ubuntu-latest)	59s
build_with_bundled_z3 (linux)	15m 30s
build_with_vcpkg_installed_z3 (macos)	15m 31s
check-formatting	9s
build_with_bundled_z3 (macos)	15m 4s
build_with_vcpkg_installed_z3 (windows)	47m 34s
build_with_bundled_z3 (windows)	18m 12s
run_clippy	28s
	3h 1m 28s

Provide feedback