Scaling Up Exact Neural Network Compression by ReLU Stability