ci: Newer commit from Dafny feature branch

[robin-aws]

Replaces the orphaned commit ID used in CI.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.