Add RemoveValidIf to -X mverilog

This adds the RemoveValidIf Pass to the MinimumLowFirrtlOptimization
Transform. A test case is included to verify that `is invalid` is
properly converted to a connection to zero.

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>