Do those tools rely in any way on pushshift in order to work? If so, I don’t know if they’ll work now since Reddit cut off pushshift.io’s access to the API back in early May.

I don’t think that’s likely to happen. Based on the AMA announcement, I’m guessing that - at most - there will be a few (temporary) concessions made to moderators and some (empty) promises to work on accessibility.