Should sv=True be default for mlir-verilog?

[leonardt]

Seems like it since we use the SV mlir dialect for many core things (which in turn generates SV specific verilog).

[leonardt]

Note, using .sv improves compatibility with certain tools (e.g. ncsim) which will defaults to verilog semantics for .v files (which seems reasonable)