CROWN: A Neural Network Verification Framework for Networks with General Activation Functions - View it on GitHub