chore: improve rust blocking behavior unit tests#825

mhelkey wants to merge 1 commit intosmithy-lang:main-1.xsmithy-lang/smithy-dafny:main-1.xfrom

mhelkey:main-1.xmhelkey/smithy-dafny:main-1.xCopy head branch name to clipboard