proper printing of thunks, reduced disasm verbosity