Faster AI for large explorations

AI now performs up to 20x faster in large explorations. Some would say it's thanks to optimizations. Others would claim it's because we found something really dumb that we'd done.