ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization