Optimized the check for whether we've traversed the entire decision space, so that we don't check unless our traversal memory is at least as big as the decision space.