chore: bump mpl and smithy dafny#1982

rishav-karanjit merged 3 commits intomainaws/aws-database-encryption-sdk-dynamodb:mainfrom

mplbumpaws/aws-database-encryption-sdk-dynamodb:mplbumpCopy head branch name to clipboard