[condorcet] Cleanup: replace function by calls to Is_Upper_Bound

* Replace calls to Is_Zero, Is_Zero_Or_One and Is_Not_Saturated.

* Give more precise contract for Sum, to get guarantees on outcoming
  matrix values.
[condorcet] Implement tests for all new functions
[condorcet] Code cleanup: remove obsolete test