Added --verify option to verilog-formatter.

Added --verify option to verilog-formatter. #4141