chore(rust): bump Dafny version for Rust to 4.11.0#811

ajewellamz wants to merge 1 commit intomainlineaws/aws-encryption-sdk:mainlinefrom

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