＞あと東急2020、東武ATS非搭載だと
＞サークルKしか運用入らないのかね

それは無いんじゃね？
8500の廃車分から移設前提で新製時には装備してないってだけだろ
最初はサークルK運用で慣熟運転・・そして8500の廃車分から東武ATS移設して、東武慣熟運転っていう手順だろう