[Proposal] Lazy initialization of pygame module accelerate the startup.

[FAuditore]

Proposal

When I'm debugging on Windows PC, the pygame.init() often takes several seconds. Can this initialization be skipped when rendering is not required? e.g. only call the init() when render_mode=='human'

simple_env.py line 44

super().__init__()
if render_mode == "human":
    import pygame
    pygame.init()
    self.game_font = pygame.freetype.Font(
        os.path.join(os.path.dirname(__file__), "secrcode.ttf"), 24
    )
    self.width = ...
    self.height = ...
    ...

When I made this modification, the startup speed is much faster. Maybe there are other involved codes that need to be changed, but it looks good for me.

Motivation

Speed up the startup on windows

Pitch

No response

Alternatives

No response

Additional context

No response

Checklist

• I have checked that there is no similar issue in the repo