VisualSphinx: Large-Scale Synthetic Vision Logic Puzzles for RL