Email (record): Verifying Quantum Communication Protocols with Ground Bisimulation