Bugfix: Mintstatus.mil could be set to zero when an NMI was taken.

Created by: silabs-oysteink

Also guarded CLIC-specific assertions with CLIC parameter to avoid unmet covers while running formal. Removed unused port wu_wrs_i.