Removes nullifier code from Categorizer. Fixes bug in nullifier rules assertion.
Moves categorizer into transform module. Puts the categorizer under unit tests.