chore(dafny-rust): setup and test check-in polymorph rust code (commented out for now); fix windows tests #328

Job	Run time
pr-ci-codegen / code-generation (AwsEncryptionSDK, 6.0.x, ubuntu-latest)	3m 28s
pr-ci-net / testDotNet (windows-latest)	7m 58s
pr-ci-verification / verification (AwsEncryptionSDK, macos-12)	14m 9s
pr-ci-net / testDotNet (ubuntu-latest)	4m 55s
pr-ci-rust / testRust (windows-latest)	9m 54s
pr-test-vectors / decrypt_python_vectors (windows-latest)	8m 50s
pr-ci-net / testDotNet (macos-12)	5m 18s
pr-ci-rust / testRust (ubuntu-latest)	5m 14s
pr-test-vectors / decrypt_python_vectors (ubuntu-latest)	6m 50s
pr-ci-rust / testRust (macos-12)	11m 3s
pr-test-vectors / decrypt_python_vectors (macos-12)	7m 0s
pr-test-vectors / generate_vectors (ubuntu-latest)	4m 25s
pr-test-vectors / generate_vectors (macos-12)	5m 28s
pr-test-vectors / decrypt_net_vectors_with_js (ubuntu-latest)	47s
pr-test-vectors / decrypt_net_vectors_with_js (macos-12)	1m 9s
	1h 36m 28s

Provide feedback