Fix `Branch` asm

[AlessioC31]

Right now we output the offset in the disassembler, we should instead print the target address. This is non-trivial since the disassembler funcion doesn't have access to the pc value