spirv: is_null_constant improvement & is_undef_constant optimizations

For OpConstantComposite we can detect null constant elements and transitively associate that property to the containing constant.

We can also detect undefs and consider them as if no initializer was given.