minor mop-ups for user-instigated leibniz propagation.

NOTE: someday we'll want to let the user specify the EXTZeroRanges used