SR-TE label stack checks