add XLEN to issuer_verilog.py defaults to 64