Contracts for standard binary operations

The standard-operation contracts cover comparison, adjacent values, mixed-precision accumulation and matrix multiplication, IEEE remainder, integral rounding, exponent operations, and the invalid flags of selection operations.