rewrote cube pruning heart for clarity and efficiency

Was calling manual constraint handler (unused), and also rebuilding the list of rules at each pop.

Further efficiency: get rid of lists for tail states (which are basically a small fixed size)