Fixed bug constant folding bvugt and implement bvuge and bvule. We need unit tests for these!
Fixed bug constant folding bvugt and implement bvuge and bvule.
We need unit tests for these!

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix