Add test cases in the muldiv test for the range of the dividend.

Add a case that produced incorrect results before precision was fixed.
Also add random ranges.
Move transformations related to division by constants to a new file.

This makes it easier to manage the order in which the transforms
are tried.