Instrumented reification code (with Gregory's help) to try to find reification bugs. I've found the bugs and removed the code since it was making lemma reification take an unacceptably long time