Improve vibes_ir expressiveness and minizinc support

[philzook58]

• Memory addressing
• Spilling to stack
• Multiblock
• "Resource" usage
• Branching
• Side effects (flag setting, etc)

[codyroux]

We might want to break this into chunks, or just close it if we have no clear path to implementation.