Add several unimplemented TruthTable methods
Implement TruthTable methods:

* iter_zeros
* iter_ones
* satisfy_one
* satisfy_all

The iter_zeros/iter_ones methods are somewhat naive. Rather than going
through the data one byte at a time, and testing whether the byte has
any ones/zeros, I just used the easy method of iterating through all
entries.