The following checks should be added in the analysis phase of (non-strict) assembly:

• the stack height never goes below the highest named stack slot
• the stack height never goes below the initial stack height of the block