Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects