Merge "Add smc bin arg to verilator simulator"