individual timings on node visits (in debug mode)