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.