Describe each block on its label
x86_64 creates a proper V_REG impl_branch now
BLK_NEXT_BLOCK_UPSCOPE framework for block flush ordering
Need investigation into block->next overwriting