No way, Reds need the SP depth and can always use the odd man out in the pen if all guys are healthy. They'll need to replace Disco and possibly Bauer as well in 2021.
I'm not a huge fan of Wade Miley but he's a solid swingman with upside and it's not like his deal is breaking the bank.