Remove calls to print_theory in enumfset/script files.

print_theory is fine to call interactively, but just adds verbiage
when done as part of a build.  Having done a build, looking at a
Theory.sig file is a good way to see what one has achieved.