Don't skip PartialOrder antisymmetry and transitivity

[rossabaker]

PartialOrderTests' transitivity and antisymmetry properties are shadowed by EqTests'. When discipline finds duplicate laws in parent rulesets, the child's properties are silently dropped. This counterintuitive behavior and sent us on a wild chase on http4s/http4s#3518.

We work around this by changing the EqTests' names to match the law names.

[rossabaker]

Example output now. Note the eq-suffixed properties:

[info] - UpperBounded[UUID].upperBounded.antisymmetry (1 millisecond)
[info] - UpperBounded[UUID].upperBounded.antisymmetry eq (1 millisecond)
[info] - UpperBounded[UUID].upperBounded.bound is greater than or equals (1 millisecond)
[info] - UpperBounded[UUID].upperBounded.gt (2 milliseconds)
[info] - UpperBounded[UUID].upperBounded.gteqv (1 millisecond)
[info] - UpperBounded[UUID].upperBounded.lt (1 millisecond)
[info] - UpperBounded[UUID].upperBounded.partialCompare (1 millisecond)
[info] - UpperBounded[UUID].upperBounded.pmax (1 millisecond)
[info] - UpperBounded[UUID].upperBounded.pmin (1 millisecond)
[info] - UpperBounded[UUID].upperBounded.reflexivity eq (1 millisecond)
[info] - UpperBounded[UUID].upperBounded.reflexivity gt (1 millisecond)
[info] - UpperBounded[UUID].upperBounded.reflexivity lt (1 millisecond)
[info] - UpperBounded[UUID].upperBounded.symmetry eq (1 millisecond)
[info] - UpperBounded[UUID].upperBounded.transitivity (2 milliseconds)
[info] - UpperBounded[UUID].upperBounded.transitivity eq (1 millisecond)

I ran with a modified version of discipline, and antisymmetry and transitivity were the only clashes I identified.

[codecov-commenter]

Codecov Report

Merging #3493 into master will increase coverage by 0.02%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master    #3493      +/-   ##
==========================================
+ Coverage   91.74%   91.77%   +0.02%     
==========================================
  Files         383      383              
  Lines        8399     8399              
  Branches      218      208      -10     
==========================================
+ Hits         7706     7708       +2     
+ Misses        693      691       -2     

[LukaJCB]

good catch!