Verification of Bit-Flip Attacks against Quantized Neural Networks