Add sort validation tests for typed operations

Add positive and negative tests verifying egraph sort enforcement:
- Eq/Ne reject BoolExpr operands (must use LogEq/LogNe instead)
- LogEq/LogNe accept BoolExpr and fold correctly
- Conversion ops enforce correct operand sorts (FloatExpr vs IntExpr)
- Bitwise ops reject BoolExpr (require IntExpr)
- Logical ops reject IntExpr (require BoolExpr)
- Float comparisons reject IntExpr (require FloatExpr)
- Float arithmetic rejects IntExpr, int arithmetic rejects FloatExpr

Author: LegNeato