Add (commented out) verilator options