Rust

Expose sequence sort and AST (#310) #529

Job	Run time
build_on_wasm	36m 15s
build_with_bundled_z3 (linux)	15m 18s
build_with_vcpkg_installed_z3 (linux)	1m 16s
build (macos-latest)	28s
build_with_vcpkg_installed_z3 (macos)	1m 7s
check-formatting	5s
build (ubuntu-latest)	30s
build_with_vcpkg_installed_z3 (windows)	43m 32s
build_with_bundled_z3 (macos)	13m 11s
build_with_bundled_z3 (windows)	17m 46s
run_clippy	37s
	2h 10m 5s

Provide feedback