The current check generation assertion could fail due to unfavorable OS scheduling. The assertion should be removed, and we can instead strengthen test semantics by waiting for the check generation to reach 1 before we set the death event.