ASSERT_OFF

[silabs-robin]

This PR makes compilation of assertions optional.

For blazing fast re-compilation and next level productivity iteration times, simply use +define+COREV_ASSERT_OFF (and optionally comment away the ifndef for a specific assertion set you want to work on).

Compilation times (mm:ss):

• 00:20 - No assertion sets
• 00:23 - One assertion set (umode_assert)
• 01:30 - All assertion sets
• 02:10 - Internal formal

Test results:

• ci_check - All pass (except "clic").
• Cvverif formal - Compiles and runs decently.
• Internal formal - No reds after a few minutes.

---

I got tired of formal taking so long to recompile just for simple changes, so that is why I implemented this.

An additional bonus, is that the warnings log is much smaller, so you specifically see all warnings related to your module.

The reason for using ifndef is because 1) this is consistent with the way it is already done in the RTL repo, and 2) we don't want to change the hierarchy with several additional paths with generates.

[silabs-mateilga]

This is a very tricky diff to read, but I don't see any issues. I approve of the motivation for this change, so as long as nothing breaks this is a good change.

Approving

[silabs-hfegran]

This is a very tricky diff to read, but I don't see any issues. I approve of the motivation for this change, so as long as nothing breaks this is a good change.

Approving

Much easier to read this diff with the "hide whitespace" option set.

[silabs-hfegran]

Looks good to me, thanks @silabs-robin