Remove an #include <optional> to help with https://github.com/deepmind/open_spiel/issues/436
Remove an #include <optional> to help with https://github.com/deepmind/open_spiel/issues/436

PiperOrigin-RevId: 340840131
Change-Id: I85c8c8a77cbf7f9082b9201260cb061ddc32de43

deepmind/open_spiel,deepmind/open_spiel,deepmind/open_spiel,deepmind/open_spiel,deepmind/open_spiel,deepmind/open_spiel