Bytes: add comparison operators (<, <=, >, >=)

[antonsynd]

Summary

Python bytes supports lexicographic comparison (b"abc" < b"abd" is True). Currently only +, *, ==, !=, in are supported in the compiler. The <, <=, >, >= operators are missing from:

1. OperatorValidator.cs — bytes dunder whitelist
2. TypeInferenceService.TryInferBuiltinBinaryOp — bytes binary operator inference

Fix

1. Add DunderNames.Lt or DunderNames.Le or DunderNames.Gt or DunderNames.Ge to the bytes case in OperatorValidator.cs
2. Add cases returning SemanticType.Bool for those operators in TypeInferenceService.TryInferBuiltinBinaryOp

Found during architectural review of plan-1523bd.

[antonsynd]

Closed — added IComparable with lexicographic comparison, operators <, <=, >, >=, OperatorValidator whitelist, and TypeInferenceService inference. Test fixture bytes_comparison.spy passes. Implemented in c78a8d7, 43b3df0, c84b946, cfa8406.