Function cell_class 

pub fn cell_class(op: &Op) -> CellClass

The cell an op maps to — derived from the TOTAL reversibility classifier, so it is exhaustive by construction (the census NonReversible is provably empty, mapped conservatively to an ancilla cell). Keep in lockstep with rev_tag.