Use recursive-then-iterative approach for check_width_e

* Avoid excessively deep recursion
* Avoid overhead of DFS for shallow expression trees
* Reduce work: skip expressions that cannot contain error-containing subtrees
* Review feedback: added commentary to explain new check_widths_e structure