Refactor PotVerifier to prune slots, instead of using LRU

[nazar-pc]

Right now we use LRU with a number of slots that works most of the time, but it should be possible to replace that with tracking of slots and remove slots as they become unreachable (for example block below depth of 100). This will reduce memory usage for typical scenarios.