Investigate instances of `fold_right`

We have ~30 calls to `List.fold_right` in our code and it seems at least for some of them they do the same thing as a `fold_left`  (accumulator is a hash set, or only caller turns returned list into a set-like thing) and there's no particular reason to do things in a specific order.
We should go through them and replace them where appropriate.