Yeah as mentioned, barring injury, Stroman is definitely opting out, which is probably another reason the Jays wouldn't acquire him even if they didn't have bad blood from the past. Whichever team trades for him has to be OK with him either opting out or picking up his option, and as much as Atkins enjoys giving $20m AAV's to starters, I'm not sure he'd want to risk something like that for 2024 since the only way Stroman opts in is if he gets hurt.
Stro played free agency perfectly a couple of years ago. Signed for low years/higher AAV, and now can opt out and get the security in his final big contract coming off one of his best seasons. A pitcher taking that risk in his 30's is ballsy, but so far it looks like he made the right decision.