feat(.net): support aws sdk .net v4#1807

josecorella wants to merge 5 commits intomainaws/aws-cryptographic-material-providers-library:mainfrom

jocorell/smithy-dafny-net-v4aws/aws-cryptographic-material-providers-library:jocorell/smithy-dafny-net-v4Copy head branch name to clipboard