write_out() prints tableaux in key-sorted order.

That is, the write out files have sorted URs and SRs. This order isn't
from the input file, it's just alphabetical.