AutoWebWorld: Synthesizing Infinite Verifiable Web Environments via Finite State Machines | ResearchPod