Section #ajax['progress'] needs update.
Current API reference at https://api.drupal.org/api/drupal/developer%21topics%21forms_api_referen... reads
> #ajax['progress']['type'] String. Possible values: 'throbber' (default), 'bar'.
Another possible value is "none" to show no throbber. Learned this from Drupal Stack Exchange.