A Tensor-Based Compiler and a Runtime for Neuron-Level DNN Certifier Specifications