Disagree.
I'd easily still take 16+41->7+25OA for those changes, and our cap space is cheap.
TOR trading a 1st and 3rd for an average G (at an affordable cap hit) is steep, but they're cap constrained and Mrazek is untenably bad. Mrazek->Murray is a big upgrade, but not a division-breaking one.
Ottawa ridding Murray but going 7->16 is definitely a net loss for them, which is why the 3rd is there. They take the biggest hit, but no longer have to pay Murray's salary.