9000系の廃車の件、時系列を整理した方が良いと思う。

まず、40000系デビューのプレスリリースは2015年8月24日。
この時点では2000系を置き換える予定だったことが、後に明らかになる。

ソース
西武鉄道車両部車両課長、山下和彦氏は40000系導入の経緯を「黄色い電車2000系の廃車計画にもとづき、代替車両として製作が計画されました。
https://news.mynavi.jp/article/20170219-a023/

9000系の廃車が明らかになったのは、昨年の横瀬のイベントのプレスリリースが発端。
https://www.seiburailway.jp/news/news-release/2017/20171011_yokoze.pdf

で、その前に何があったかというと、ホームドア導入。
https://www.seiburailway.jp/news/news-release/2016/20170203formdoorsetti.pdf

同時期に他社もホームドア導入計画を発表している。
もともと設置予定はなかったが、国交省の指導で急遽決まった模様。
その結果、TASCに対応できない9000系の置き換えが決まったとみるのが自然だと思う。