chore: fix dafny version release scripts by josecorella · Pull Request #1369 · aws/aws-database-encryption-sdk-dynamodb