mp_rational: more testing (low level methods) and remove an obsolete todo item from piranha.hpp.