Unsigned integer comparison optimizations

Closed Bitbucket Importer requested to merge topic/default/bitbucket-pr-93 into branch/default

Created originally on Bitbucket by mpavone (Michael Pavone)

Unsigned integer comparisons now update/propagate integer bounds and can be optimized away based on integer bounds information.

Merge request reports