Formal Verification of Variational Quantum Circuits