Decompose block conversion into passes

I thought there was a bug for this already, but I'm not finding it.

Block conversion is a monolith that should be broken up into more manageable pieces. Block conversion should probably clone nodes into a block and leave the rest to passes. Right now there's a lot of metadata on the side (see #1300) that needs to be managed better to facilitate this.