`synthesize_auto_trait_impls` is incredibly slow rn, replace with proof tree visitor

[lcnr]

see the perf run in rust-lang/rust#133502 (comment)

the current approach seems to have some exponential blowup here. it may also simply trigger some exponential part of the trait solver itself, so we may need to fix these separately