More tree prover improvements
I've fixed the bug where sometimes nodes in the displayed tree overlapped. I also made the proof search faster. Now Pelletier 34 is proved in only a few minutes! (Warning: the tree is huge, and might crash your browser.)