checkpoint: mark queued vertices as seen