Separate Binding of Assertions

[silabs-robin]

Task Outcome

The tb is rid from binds, the binds are separated out (into own file or otherwise as appropriate), and everything works functionality the same as it did before.
Or, some alternative solution to the problem is found.

Background information

See the comments in #2410
OneSpin formal works slightly different, so we cannot support both Jasper and OneSpin as the tb looks today.
Note: "remove binding to individual instances or use read_sva after compilation to load assertions", alternative?

Location Information

https://github.com/openhwgroup/core-v-verif/blob/cv32e40s/dev/cv32e40s/tb/uvmt/uvmt_cv32e40s_tb.sv#L516

Completion Criteria

Both Jasper and OneSpin can compile with assertions included.