[Hot Cold Splitting] Fix R2RDump to dump the hot cold map #1909
Description
Right now, R2RDump is unaware of the hot-cold map, it would be nice to provide a dump of the session, ideally in some human-readable fashion instead of just a pile of numbers.