Basic encode/decode tests work for binops.
WIP: second stage works: exec_bin_op does not fail.