Lazy shrink of the string pool
Currently strings are discarded from the string pool very aggressively when the pool size exceeds the limit. This is probably not appropriate any more, with 64-bit address space and more memory available. If the limit is set too low, it can have a...