Mux primitive's Verilog test-bench compliance

[ruriktherus]

The mux_tb.v test-bench should comply with our testing conventions, i.e. it should be compilable on its own with Icarus (without require -D macro definitions) and it should have the hooks for running it with the MyHDL co-simulator.