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.