feat: revert_target_deps tactic

[robertylewis]

trafficstars

This isn't ready to be merged yet. I'm going to port data.bool.basic and improve those instances, which are necessary for the mathlib test case. Looking for comments on my implementation!