Lots of TruthTable work

Instead of using TruthTable(..., pc=True), introduce a new class PCTable
for tables that use positional cube notation.

Fixed up several of the algorithms used to iterate through zeros, ones,
satisfying points, restrict, etc.