If GTK is acceptable, maybe try gentoo [1]. It's not very well maintained "lately", but performance used to be a goal and it sure has a lot of settings.

Disclosaroo: I wrote it.

[1] https://en.m.wikipedia.org/wiki/Gentoo_(file_manager)