Benchmark: Map vs PersistentTable

[favonia]

The current structure will populate different instances of PersistentTable all over the places, and it is very possible that the expensive reroot will be called too many times. Therefore we might want to consider Map or other persistent data structures.