Describir: Verification of Linear Optical Quantum Computing using Quantum Process Calculus