Improve stack effect hint checking.