Merge - "x/dev"

Created by: silabs-robin

This PR fetches the current state of core-v-verif's cv32e40x/dev into this new x-dv repo.

The diff is really small. Updates to the "core" testbench, which were already accepted and merged into cv32e40x/dev before.

How to test:

1. git clone git@github.com:openhwgroup/core-v-verif.git.
2. cd core-v-verif && git checkout cv32e40s/dev (note, using 40s/dev)
3. CV_CORE=cv32e40x VERIF_ENV_REPO=git@github.com:silabs-robin/cv32e40x-dv.git VERIF_ENV_BRANCH=x2x ./bin/clonetb --clone
4. (Run whatever tests one wants to.)

Test status:

1. Uvmt - Irrelevant, only core/ changed.
2. Formal - Irrelevant, only core/ changed.
3. Core - I tested the verilator testbench, it needs updates to cv32e40x_tb_wrapper.sv to match latest 40x RTL. (I will not fix that, but I doubt that it is much to do.)