Basic fuzz testing working, found and fixed some bugs.
Removed option to simplify.
is_negative_negatable_const checks against imin of casted types.
Added boolean expressions to fuzz testing, fixed many bugs found with fuzz tests.
Fixed error on some compilers regarding comparison of signed/unsigned in cast tests.
Added Div/Mod to the fuzz tester, fixed bugs/undefined behavior for Div/Mod.
Fixed more Div/Mod undefined behavior, added randomization to fuzz tests.
Fixed obscure bug when simplifying (a/b)/c for negative integers.
Added back support for evaluating constant < operators, added comments.
Fixed divide by zero in Div visitor.
More correct bounds inference for abs for non-int32 types.
More fuzz test coverage, more bug fixes found by fuzz tests.
Merge branch 'master' into simplify-fuzz-testing
Fixed infinite recursion for expressions of the form (x + ramp1)*ramp2, where the ramps are constant.
Really fixed infinite recursion for (x + ramp1)*ramp2.
Added variable matching.
Merge branch 'master' into simplify-fuzz-testing
Merge branch 'master' into simplify-fuzz-testing
Fixed infinite loop for expressions of the form (x*C + y%C) + z%C.
% -> mod_imp to fix bug found by fuzz testing.