Make sure to check all Label references.

Update referencedLabel in checkLabel to make sure we don't forget to add referenced labels to this list. For instance, the dflt label in visitTableSwitchInsn was not added to the list. As a consequence, this class could not detect error cases where this default label is not visited with visitLabel before visitMaxs. visitLineNumber had the same issue.