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

Job	Run time
pr-ci-codegen / code-generation (AwsEncryptionSDK, 6.0.x, ubuntu-latest)	3m 31s
pr-ci-verification / verification (AwsEncryptionSDK, macos-12)	13m 37s
pr-ci-net / testDotNet (windows-latest)	7m 48s
pr-ci-net / testDotNet (ubuntu-latest)	4m 42s
pr-ci-net / testDotNet (macos-12)	7m 43s
pr-ci-rust / testRust (windows-latest)	10m 18s
pr-test-vectors / decrypt_python_vectors (windows-latest)	7m 53s
pr-ci-rust / testRust (ubuntu-latest)	5m 4s
pr-test-vectors / decrypt_python_vectors (ubuntu-latest)	6m 56s
pr-ci-rust / testRust (macos-12)	9m 33s
pr-test-vectors / decrypt_python_vectors (macos-12)	7m 54s
pr-test-vectors / generate_vectors (ubuntu-latest)	4m 21s
pr-test-vectors / generate_vectors (macos-12)	4m 46s
pr-test-vectors / decrypt_net_vectors_with_js (ubuntu-latest)	46s
pr-test-vectors / decrypt_net_vectors_with_js (macos-12)	1m 7s
	1h 35m 59s

Provide feedback