Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions