renaming engine_ -> writer_
dome javadoc re: tracking modified contexts
* adding more taxonomy validation stuff
* some debug checks in the transitive reduction code to check for
inconsistent contexts not marked as inconsistent
should have been in the previous commit