check that opstack is empty on normal exit