Rust

Adjust lifetimes on `ModelIter` to make them more permissive (#324) #558

Job	Run time
build_on_wasm	1m 3s
build (macos-latest)	32s
build (ubuntu-latest)	53s
build_with_vcpkg_installed_z3 (linux)	32m 2s
build_with_bundled_z3 (linux)	16m 52s
build_with_vcpkg_installed_z3 (macos)	13m 58s
check-formatting	12s
build_with_bundled_z3 (macos)	15m 16s
build_with_vcpkg_installed_z3 (windows)	46m 5s
run_clippy	33s
build_with_bundled_z3 (windows)	18m 50s
	2h 26m 16s

Provide feedback