Some changes to logging of casts and parameters

This is another change to debug / test output in anticipation of fixes that will need to see more than they do currently. Again, there is no functional change, so the differences are to expose the new information in unchanged plans.

* Instead of suppressing CAST when building the explainer, do it in the formatter. And if VERBOSE, do not do it. So, now it is possible to see all CASTs.
* Expose that and other non-cost verbosity in rules tests.
* Show parameter types in the type resolver rules tests so that that logic can be easily checked.