@fendragon I'm using black player, which is pretty good - it was worth the few dollars to get the version without ads, at least.
I have some minor issues with it, but most of those are either issues that affect all music players on Android or are just features that I came up with in my brain which would be nice.