no_repeat_history optimization
update doc of CatalogTraversalParams
rename Push() to MightPush()
TEST: T_CatalogTraversal.FullHistoryTraversalNoRepeat
TEST: T_CatalogTraversal.SecondLevelHistoryTraversalNoRepeat