Fix CEXes, interrupt_assert U-mode

Created by: silabs-robin

This PR fixes 4 CEXes in "interrupt_assert".

Passes ci_check (which includes some interrupt tests). Passes formal on pma 3 and pma 1.

All the CEXes related to user mode not being handled by the assertions.