update interrupt assertions with feedback from formal verification

Created by: strichmo

all interrupt asserts now formally proven in a no pulp config

Changes should also address multiple interrupt assert failures in the debug random tests

Signed-off-by: Steve Richmond Steve.Richmond@silabs.com