Apparently Gmail is finally rolling out a delete-all feature for the spam bucket. Hope it shows up in my account soon!