[SV] BindOp::verifySybmolUses could be expensive

BindOp refers an instance through an inner symbol and `BindOp::verifySymbolUses>findInstanceSymbolInBlock` looks up an instance by walking entire modules in the worst case. It hasn't cause any issue probably because bind ops are created in the later pipeline.

https://github.com/llvm/circt/blob/695e36e5d480780f830bf2ded05c3fb8c8eb6012/lib/Dialect/SV/SVOps.cpp#L1864

Start in lib/Dialect/SV/SVOps.cpp around BindOp::verifySymbolUses and findInstanceSymbolInBlock. Trace how the instance lookup walks modules and inspect related verification tests or callers. Done should preserve symbol verification while addressing the reported worst-case lookup cost.

Written by the indexing model from the issue text.