Minor bugfixes, doc improvements.
Resolved conflict.
Fixed typo in documentation for binary symplectic inner product
Fixed typo in documentation for binary symplectic inner product
Fixed copy-paste error in documentation for solve_commutation_constraints
Fixed typo in documentation for solve_commutation_constraints
Fixed typos in documentation
Fixed major bug with imports in stab.py.
Merged stab.py, taking cgranade's version.
Fixes related to circuit decompositions of an identity Clifford.
Merged with remote.