C++20 modernization: drop comparison operators made obsolete by rewriting rules

The implicit conversion from Vector to ConstVector, in addition to the
rewriting rules and ConstVector::operator<=>, ensure that those are no longer
needed.