chore(rust): new dafny rust runtime release by ajewellamz · Pull Request #1808 · aws/aws-database-encryption-sdk-dynamodb