Now generates circuits in clifford + t