Make IsAllGTE() more consistent

[alessio]

This is a sub-PR of #3678
It also removes duplicate tests.

• Linked to github-issue with discussion and accepted design OR link to spec that describes this work.
• Wrote tests
• Updated relevant documentation (docs/)
• Added entries in PENDING.md with issue #
• rereviewed Files changed in the github PR explorer

---

For Admin Use:

• Added appropriate labels to PR (ex. wip, ready-for-review, docs)
• Reviewers Assigned
• Squashed all commits, uses message "Merge pull request #XYZ: [title]" (coding standards)

[codecov]

Codecov Report

Merging #3864 into develop will decrease coverage by 0.01%.
The diff coverage is 100%.

@@             Coverage Diff             @@
##           develop    #3864      +/-   ##
===========================================
- Coverage    60.97%   60.95%   -0.02%     
===========================================
  Files          192      192              
  Lines        14342    14346       +4     
===========================================
  Hits          8745     8745              
- Misses        5027     5031       +4     
  Partials       570      570

[cwgoes]

ACK