[thin_rmap] now produces ranged output.
[thin_rmap] rmap_visitor now sorts the rmap into ascending data_block order.