Implement checking of successful @switch

[DarkDimius]

#1061

This does not yet unable the checks that @switch verifies that the compiler was indeed able to perform the optimization.

[felixmulder]

This is fixed in #1256