CV32E40Pv2 core-v-verif environment fixes and updates
Created by: XavierAubert
This PR contains work from the last three weeks, mainly contributions from @dd-baoshan
and @dd-vaibhavjain
since I was off during this period of time.
A large part of the PR contains fixes and performance optimizations for the regressions (test timeout adjustements, fiddling with coverage and test lists, etc. )