Scaling Polyhedral Neural Network Verification on GPUs