Turn assert into IAE

Exec2 already unwinds correctly from IAE.