NN4SysBench: Characterizing Neural Network Verification for Computer Systems