For debug, std::stable_sort is great. But it uses free/malloc a lot

So we need to go back to std::sort :( It's actually impacting
performance.
Adding some prefetch so we get better performance
Using a bit of prefetch for speed
Using uint32_t vectors to save mem in XOR and increasing var limit
More gate-finder and printing stats right after creating them