Rigorous Dynamics and Consistent Estimation in Arbitrarily Conditioned Linear Systems