Added select -assert-none and -assert-any
Added support for $adff with undef data inputs to opt_rmdff
Added verilog_defaults command
Merge pull request #4 from cliffordwolf/master

verilog defaults