Make sure that order of operations for binary operations is correct

[icefoxen]

For lots of binary operations, like -, the order of the arguments matters. Between all the stack-shuffling we do in exec_binop and tests::test_stack_program, I'm not 100% sure that the order is what it should be. Verify.