delete obsolete reference to printerTheory

however x64_heap still fails about halfway through because of other
changes to printing that have happened