Enable asserting on the number of enumerated plans as done in unit tests.

This would help us avoid regressions in optimization time: if a new rewrite makes the search space much bigger then an assertion would catch it.

This could also help us evaluate changes that are intended to reduce the search space.