Revert "TEMP Print more debug info for Coq minimization"
Revert "TEMP Print more debug info for Coq minimization"

This reverts commit 2dd2c21dd736807aa14600e9d8eb225f503046ee.

JasonGross/coq-tools,JasonGross/coq-tools