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 nir_has_divergent_loop()
change.