Let me share my inexperience.
...
I'd invest in a focal reducer / field flattener for the ED80 (if you haven't yet) and stick with it for a while longer, i.e., at least a year: new targets come into view as the seasons pass, many well within reach of an ED80. It's easier to sharpen your skills on a small refractor than an 8" Newtonian.
But if you're keen on planets then you definitely need more aperture...