Fill chokes on itself on the last meters in games with both minimal players and full players

[NewSoupVi]

What happened?

When an accessibility: full player's item ends up on an unreachable accessibility: minimal player's location during progression fill, it is supposed to be left there and re-placed by accessibility_corrections. That is the express purpose of accessibility_corrections.

Now, consider the following scenario in a generation with a full player and a minimal player.

The gen goes into swap during progression fill. As a result, cleanup_required will be set to True. (Even if safe swap)
If cleanup_required is set, all unreachable locations containing prog items for the full player will have their items forcefully ripped out then and there
Fill then runs a check for whether there are any unplaced items. This errors because there is an unplaced item.

But had this "required cleanup" not happened, the unreachable item would have been properly corrected by accessibility_corrections on the very next line.
In fact, if you comment out the cleanup, the seed actually generates just fine.

Reproduction Steps

Be on this #4188
Use these yamls: players (1).zip
Set seed to 95140043061228385161

Generate -> Fail
Generate with if cleanup_required changed to if False -> Success.

What were the expected results?

The item should've been left on its check so that accessibility_corrections can correct it properly.

Software

Local generation

[NewSoupVi]

Fixing this is a bit hard to think about. But I think a good approach is:

The "cleanup" step should not clean up any case that accessibility_corrections can correct.

So, a place to start would be: In the "cleanup" step, add an additional if not condition whose content expresses "this placement can be cleaned up by accessibility_corrections", which is probably gonna be some combination of checking the location's player's accessibility and the item's player's accessibility that happens in accesibility_corrections.

This new condition might then reveal itself to cancel with parts of the existing condition via boolean logic identities.