R2E-Gym: Procedural Environments and Hybrid Verifiers for Scaling Open-Weights SWE Agents