Make DivSqrtRecFN_small tolerant to X-pessimism

In the recoded format, many bits are don't-cares for Inf, NaN, and zero.
Alas, taking advantage of that relies on sane processing of don't-cares,
which Verilog X does not have.

Luckily, in this case, the fix actually slightly reduces HW cost.