Add reverse topological traversal to kill MTIs and any-old-order traversal for stores / allocs.