Verilog rem fix (#404)

* Add pass that fixes up widths with modulus operator for verilog

* Add basic test for Verilog emission of Rem

* Oops, left in some printlns.