Tighten the verifier check for catchblock.