Toward a Trustworthy Optimization Modeling Agent via Verifiable Synthetic Data Generation