Rust

Expose underlying Z3_context and Z3_sort (#298) #493

Job	Run time
build_on_wasm	28m 6s
build_with_bundled_z3 (linux)	12m 53s
build_with_vcpkg_installed_z3 (linux)	1m 13s
build (macos-latest)	1m 22s
build_with_bundled_z3 (macos)	27m 21s
build_with_vcpkg_installed_z3 (macos)	1m 7s
check-formatting	5s
build (ubuntu-latest)	58s
build_with_bundled_z3 (windows)	17m 20s
build_with_vcpkg_installed_z3 (windows)	4m 2s
run_clippy	32s
	1h 34m 59s

Provide feedback