nir/divergence: separately indicate whether loops have divergent continues or breaks

and a few more small improvements I came across, like being able to keep divergence information intact in lots of possible situations.

@gfxstrand for NAK change. No idea if it's correct, but it seemed logical 😄 @mareko for the nir_has_divergent_loop() change.