verilator: allow setting random seed from command line