Major slowdown for large proofs

[mmellone]

I noticed in Nurikabe that Legup slows down quite drastically when proofs begin to get large. I believe this problem came up before, though I'm not sure if it was ever addressed.