[flow] vm: adds binary numerical instructions for (reg, imm) cases
[flow] more work on the backend IR