Avoid NaN production at compile-time in range analysis

* src/pf/optimize.lua: The runtime assertions will preclude
  rhs-is-zero.  At compile-time avoid evaluating such a case.