Verilog: KNOWNBUG test for case with default

Verilog: KNOWNBUG test for case with default #2680