Ensure execution state stack is empty at the start

We had a single `true` on the execution state stack, which would
allow scripts to have one more OP_ENDIF than they are allowed.