Consider what would be needed to detect potential divergence issues

[cbaggers]

Look into divergence rules, especially as applies to indexing from and array of textures. Given what we know in the compiler what can we detect?

Would be nice to have some pass that could make a list of potential issues .e.g. 'if x were to not be dynamically uniform then Y code would have undefined behavior'