Fix more bugs related to emitting read/stat call checks, plus a problem with completing phi-insertion in loops when the header has a split point uncovered by the new break edges.