Added a TraversalHelper.isReversible() and added Reversible to a few more steps -- has and idenity. @joshsh we should go thorugh each step together and reason everything out.