Bug 894786 - Ensure all bitwise operations are truncating their inputs. r=Waldo
Bug 894794 - Fix truncated range of constants. r=jandem
Bug 894794 - Collect Range info ahead instead of manipulating operand ranges. r=jandem
Bug 894786 - Part 2: Work around the lack of unsigned representation. r=jandem