A Residual Prediction Test for the Well-Specification of Linear Instrumental Variable Models