chore(rust): use Dafny 4.10.0 for Rust codegen#824

ajewellamz merged 1 commit intomainlineaws/aws-encryption-sdk:mainlinefrom

ajewell/rust-410aws/aws-encryption-sdk:ajewell/rust-410Copy head branch name to clipboard