For every constructor or function, ensure that qubit indices and bit indices are positive

[Krastanov]

See the couple of places where NoZeroQubit is already used as an error message. Ensure all operations have that. Ensure all classical bits are also non-negative. For any other function that generates a tableau, canonicalizes, traces out, etc. Add tests for all these errors being thrown.