Neural Network Verification is a Programming Language Challenge