Add support for binary ops in RTVar optimization
Add support for binary ops in RTVar optimization

So far we were able to fold HLO graphs composed of
constants and unary ops without compute.

This change adds support for basic binary ops like:
- Add
- Multiply
- Subtract
- Divide
