Added more non trivial tests.

Now the tests also check that the complex is in the lowest
possible form. In other words, the tests do check that the if the
complex has rational real and imaginary terms, then they are in
their lowest forms.