Tpool polishing

Among other issues, the transaction pool should now have a significantly reduced dependency on locking the state, now referred to as the consensus set in many places.

Additionally, there should be many fewer problems with regards to storage proofs that are invalid but make it into the transaction pool. I don't know if we've ever seen these problems in the wild, but it could explain some of the problems we've run into.