The SummaryDiff of today works by materializing its counters for all possible memtags. However, typically only a few MemTags will actually have their values change. This means that SummaryDiff is unnecessarily costly. We can optimize this by implementing an open addressing/closed hashing hashtable.

This will matter more as the number of MemTags grow.