re-optimization of rules during recursion

[yihozhang]

#900 made the tree decomposition cardinality-aware, but it only optimizes the query once, before it is run. We can do better by periodically re-optimizing the query during the evaluation