Ensure randtest canonicalises and add test for add/sub common denominator path.