chore: bump savvy from 0.7.1 to 0.7.2 in /src/rust #165

Job	Run time
build (ubuntu-latest, x86_64-unknown-linux-musl)	2m 11s
build (ubuntu-latest, aarch64-unknown-linux-musl)	2m 5s
build (macos-latest, x86_64-apple-darwin)	2m 33s
build (macos-latest, aarch64-apple-darwin)	2m 55s
build (windows-latest, x86_64-pc-windows-gnu)	4m 32s
test (macos-latest, release)	1m 49s
test (windows-latest, oldrel-1)	6m 46s
test (windows-latest, release)	3m 6s
test (windows-latest, devel)	1m 35s
test (ubuntu-latest, oldrel-1)	1m 23s
test (ubuntu-latest, release)	1m 43s
test (ubuntu-latest, devel)	5m 9s
test (macos-12, release)	1m 57s
release	0s
	37m 44s

Provide feedback