Clean up CheckBinaryOperator

[kkjeer]

The CheckBinaryOperator method has two blocks to handle assignment operators (one to update the checking state and one to check nonmodifying bounds and bounds declarations for non-variable assignments). These blocks should be combined to increase readability.