Some follow-up fixes to registerizeHarder

A couple of patches based on comments in #1981.  I'm particularly hoping that this will fix the memory-usage issues noted on `test_printf`.  Kicking off a full test run now...