VyZX: A Vision for Verifying the ZX Calculus