updating the random walk-based incremental ABox tests to also track
assertions as changing axioms. a few changes to benchmarking (class
renamings and a new test to eval both TBox and ABox incremental
reasoning)
fixed a potential deadlock in TaxonomyCleaning: removeInstanceNode
should not be called while sync'ing on the parent type node