Online Verification of Deep Neural Networks under Domain Shift or Network Updates