Enforce factorizations in order

[katestange]

We should add to documentation and tests that factorizations returned should be in increasing order of prime size (something that the new FactorFence visualizer will rely on; see this discussion).