Removal of elements and shrinking of poll lists are now performed at separate times, so as to simplify execution logic. In particular, early exit of the main loop is no longer needed.
