Put verilator options in double quotes

[noonien-d]

This allows multiple start-up options separated by white space for Verilator.

[dkozel]

I'm merging this to main and will backport it to the maint-3.8 branch. Thanks for the improvement!