Check that SolarMutex is locked after return from
Yield(), and in LazyDelete::flush().

Change-Id: I12ff312bd946b97b5f2c79169892719910884381