MOI.is_valid can be falsely positive for bridged constraints

Found as part of #2695. But it does't need to hold that up merging.

The last `MOI.is_valid` should return `false`:

```Julia
julia> import MathOptInterface as MOI

julia> include("test/Bridges/sdpa_models.jl")

julia> model = MOI.instantiate(StandardSDPAModel{Float64}; with_bridge_type = Float64);

julia> x = MOI.add_variables(model, 2);

julia> c = MOI.add_constraint(model, MOI.VectorOfVariables(x), MOI.Nonpositives(2));

julia> MOI.is_valid(model, c)
true

julia> MOI.is_valid(model, typeof(c)(c.value + 1))
true
```

See
https://github.com/jump-dev/MathOptInterface.jl/pull/2695/files#diff-87c703874f7251d45788070ce6ab50219cfe8b7561d08e6f6148d44afba24ccbR249-R251

从 test/Bridges/sdpa_models.jl 中的复现开始，并验证针对 bridged constraint 的两次 MOI.is_valid 调用。然后检查所引用 pull request 的 diff，尤其是链接的行，以追踪 constraint 有效性是如何检查的。当原始 constraint 仍然有效，而递增后的索引返回 false 时，即表示完成。

由索引模型根据 Issue 内容生成。