Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification