Fast Neural Network Verification via Shadow Prices