Added a version of WCT that allows for arbitrary context but still
only maintains bit counts. Added a simple test too.
Phases are working, although the MAX_NODES limit needs to be tuned some.
Will play around with that soon.
pep8 stuff for phases
Merge branch 'phases'

This brings in the Python implementation of phases.