Changed the opcode condBranch. Now supports backward branches.

Instead of having 3 arguments (false, true and error branches),
now it has only 2 arguments (false and error branches). If the
arbiter is true, no branching is made.

The opcode has 4 alternatives, depending on whether the false
and error branches are backward or not.