chore(dafny): Mutable map performance #1690

rishav-karanjit wants to merge 4 commits intomainaws/aws-cryptographic-material-providers-library:mainfrom

mutableMapPerformanceaws/aws-cryptographic-material-providers-library:mutableMapPerformanceCopy head branch name to clipboard