simulation: MultiPropertyEquivalenceTester was missing from Variation Divergence Tester Portal Type.

Followup of: "simulation: improve equivalence testers explanations messages".