Simplify: fixes; use new mod and div; test

Fix simplify handling of unsigned cast integers.
Fix minor bug in simplify And, Or: not using mutated args.
Add test of simplifier to div_mod.