Update vek requirement from 0.16.1 to 0.17.1 #2075

Job	Run time
Build Extractor	1m 28s
Unused Dependencies	11m 42s
Dependency Graph (assets/depgraph.svg)	1s
Typos	5s
Clippy	5m 42s
Documentation	4m 58s
Formatting	34s
Miri Tests	5m 4s
Tests (windows-latest)	26m 22s
Tests (macos-latest)	11m 28s
Tests (ubuntu-latest)	17m 17s
	1h 24m 41s

Provide feedback