Fix remaining EOF validation issues

[shemnon]

Changes

Fix the remaining EOF validation issues

• Check for required exit from returning code section (RETF or JUMPF)
• prevent JUMPF from non-returning into returning code sections
• consider ContainerKind from pyspec tests when running validion tests
• pass the worklet validation mode to validation unadjusted
• validate deep for RETURNCONTRACT

Types of changes

What types of changes does your code introduce?

• Bugfix (a non-breaking change that fixes an issue)
• New feature (a non-breaking change that adds functionality)
• Breaking change (a change that causes existing functionality not to work as expected)
• Optimization
• Refactoring
• Documentation update
• Build-related changes
• Other: Description

Testing

Requires testing

• Yes
• No

If yes, did you write tests?

• Yes
• No

Notes on testing

Tests are the pyspec tess

Documentation

Requires documentation update

• Yes
• No

Requires explanation in Release Notes

• Yes
• No

[benaadams]

@shemnon you sir are a gentleman and a scholar