Typo + veri-testharness as default simulator

Created by: Gchauvon

Just a small fix and change default simulators to vcs-testharness since veri-core does no longer exist. @JeanRochCoulon