Since we're checking in and patching, we should verify the generated/patched code matches what's checked in. Other smithy-dafny projects like the MPL already do this as well.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Description of changes:
Since we're checking in and patching, we should verify the generated/patched code matches what's checked in. Other smithy-dafny projects like the MPL already do this as well.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.