Combo style / latch-risk checker

Compare continuous assign with always @(*) / case styles for the same function. Incomplete branches hold the previous value — inferred latch. Starter: a 2:1 mux written three ways.