Move the assert below. We should rely on the BuildBinOp to do some type conversions first.
Move the assert below. This would allow the BuildBinOp to perform some extra type conversions.