Simplify unsigned comparisons against zero (with unit tests).

Rationale: Such cases occurs a lot after dynamic
           bound check optimization (where the lower bound
           is test against upper bound). Removing this
           unnecessary test improves quality of code.

Change-Id: I3e4dc9f9d799aad342e1c344013ac60fcc3073ac