Add back transaction execute tests

[SupunS]

Port of https://github.com/dapperlabs/cadence-internal/pull/225 by @dsainati1

Description

This adds back a number of tests for destructor type checking and interpreting that were removed when destructors were removed, except rewritten to use transaction execute blocks. The majority of the removed tests relied on certain properties of destructors that don't apply to execute blocks, in particular the ability to re-enter and invoke destructors from within other functions. This doesn't apply to execute blocks, which can only be entered once from the top level, and as such those tests could not be ported. However, tests that didn't rely on that behavior and only made use of the relaxed checker rules for nested resource moves were ported.

This uncovered a runtime crash with recursive transfers, which luckily was fixed by @SupunS's work in #3342, and so this PR is based on top of that one. It also depends on #3331.

---

• Targeted PR against master branch
• Linked to Github issue with discussion and accepted design OR link to spec that describes this work
• Code follows the standards mentioned here
• Updated relevant documentation
• Re-reviewed Files changed in the Github PR explorer
• Added appropriate labels

[turbolent]

👍