Izergin-Korepin analysis on the wavefunctions of the $U_q(sl_2)$ six-vertex model with reflecting end