Add compiler option to verify stack usage; Enable option for own tests
Add label subclass for non-control flow labels
Explicitly set stack type information when performing a forward jump
Enforce stricter rules for stack usage, forbid to implicitly create blank stack after jump
Add missing type relationships
Add for-iteration let bindings according to latest preview
Update exclusion lists