Rewrote ShouldAllBeEquivalentTo in terms of ShouldBeEquivalentTo
Changed ApplyAssertionRulesEquivalencyStep to a more general AggregateEquivalencyStep