Port last_marked change to full-program optimizers