c) was not always true, although I think it may be now.

I actually did put scrollwheel events into rabidvwm at one point, primarily for exactly this. Except you needed to click on the vwm for it to work, and usually you have to do it again each time. So I disabled them.

I think what this really needs is some sort of "!SwitchNoFocus" bang command, because people usually want the VWM to set focus to the new desktop when you switch with the keyboard. I'll have to look into that.