Jump threading: Skip fall-through jumps
Handle returns without an expression
Lazy label block creation
Transfer final block to epilogue if it's not set
Epilogue block terminates explicitly
Labels have explicit fall-through to their block
out_ctrl_transfer() leaves the current block as NULL
Handle loopback block flushing