chore(brillig): Make codegen_mov_registers_to_registers general again and use it in jmp

[aakoshh]

Problem Resolved

One of the phases in #13302

#10305 made this routine iterative, but also added a constraint that made it usable only for return values. This could have been used in linear scan during jumps; the current jmp handler used an ad-hoc method that grabs more temporary registers than the general routine would do to handle cycles.

Summary of Changes

• Refactor codegen_mov_registers_to_registers to remove the restriction that destinations have to be consecutive memory registers
• Update codegen_mov_registers_to_registers to handle a condition and emit conditional_mov.
• Call codegen_mov_registers_to_registers from jmp_setup
• Added a before/after test to show that a block which rotates its parameters (a cycle) now requires just 1 temporary registers, instead of as many as there are parameters being passed.

User Documentation

Check one:

• No user documentation needed.
• Documented in docs/.
• [For Experimental Features] Documentation tracking issue created:

PR Checklist

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.