Fix Version/s: None
I realized that not _ne is not automatically implemented when eq_ is implemented. This can cause unexpected behavior with the != operator.
This ticket implements _ne_ in existing classes in verify.
I also implements _lt, le, gt, and ge_ operators to the Name class to support Name sorting.