Refactor: needs_invert -> are_connected_through_wrapping
Refactor: added some assertions
Refactor: Added PlayerState assertions
Refactor: adjusted GameState assertions
Fix: added missing attribute in IntermediateGameState op==
Fix: Intermediate tried to init successor when there was none