Clarify discriminator non-impact on validation (3.1.1 port of 3907)

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