Rewrites and break up of two incomplete asserts

Created by: silabs-mateilga

Asserts are rewritten to lower complexity. The asserts cover return state from mret and changes til interrupt level.