Added verification of matrix b1 and b2 in neural_network.verify