Regen "csr_access_test" (Using Henrik's new scripting)
Created by: silabs-robin
This PR adds (a slightly modified version of) Henrik's script for regenerating cv32e40s_csr_access_test
, plus a fresh regen of the test, and some minor tweaks to the testbench.
ci_check passes (except "debug_test", known).
Formal is still runnable.
@silabs-hfegran
@MikeOpenHWGroup