chore: address dafny-lang/dafny#2500

[texastony]

Issue #, if available: dafny-lang/dafny#2500

Description of changes:

1. Update PR template so future work continues to respect {:termination false} also allows incorrect implementations of trait functions dafny-lang/dafny#2500
2. I also audited the ESDK-Dafny, validating that all the trait specifications are copied onto classes that extend them.

Squash/merge commit message, if applicable: chore: address dafny-lang/dafny#2500

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.

Due to dafny-lang/dafny#2500, Traits are dangerous:

1. Does this PR add any traits or classes that extend a trait?
2. Are these traits annotated with {:termination false}?

The override checks on
the specifications on
a class' functions/methods/etc. validating
that specifications are
at least as strong as those on
the traits it implements
are not working correctly when
that trait is defined in a different module
(and hence must have {:termination false} on it).

As such, if either (1.) or (2.) is true:

• manually verified all the trait specifications are copied onto classes that extend them?

[robin-aws]

The lack of a mechanism makes me sad, but this is a good temporary measure.