Clarify discriminator non-impact on validation

Be very explicit that discriminator MUST NOT change the validation
outcome, and explain the implication for the "allOf" use case.