Additional verification rules - opt_in label check

[lukasc-ubc]

• check if all unique label
• check if the label comply with standard opt_in_TE_1550_device ...
• check if TE label is inside a TE GC cell, and TM inside TM.

[lukasc-ubc]

to do:

• check if TE label is inside a TE GC cell, and TM inside TM.