ICCAD: G: Decision Diagrams for Quantum Computing