[0050] Specify behavior of fall-throughs in switch statements

[damyanp]

At both a HLSL and DXIL level we need to be explicit about how fall-throughs in case statements work.

[llvm-beanz]

Marked as related to proposal 0050 because this should be defined in the memory and execution model.