I’ve just noticed that Mail on iOS 18 now has “select all’ for bulk deleting messages. A bit late but welcome all the same.