- Refactored branch edges to be attached to branch instr instead
  of predecessor block
- Removed IRInstr.setTarget variant with branch desc argument
  for safety