Call value_fetch_lazy when needed in pretty-printers