[ofw] Add Assert to debug BS while deleting WDF device

[Hefty, Sean]

>   And opensm is running at the time?  And the HCA driver was disabled?  Is this all correct?
> [Uri Habusha] Correct

One more question, was opensm using the libibumad (i.e. winmad) provider, and NOT ibal?