perf(symbolic): improve solver query handling#15065

stevencartavia merged 10 commits into

foundry-rs:mattsse/native-symbolic-testingfoundry-rs/foundry:mattsse/native-symbolic-testingfrom

figtracer:autoresearch/symbolic-performance-20260604figtracer/foundry:autoresearch/symbolic-performance-20260604Copy head branch name to clipboard