You've pretty much nailed it.
I absolutely won't join a prog league unless there are drastic measures in place to prevent (or render irrelevant) tanking. Having been in many leagues where tanking occured, I believe that it completely destroys any semblance of integrity in the league. Moreover, one of the things I like most about progressives is trying to win more games than my team's talent level should allow. Some of my favorite prog seasons have been the ones where I've won 80-90 games with teams that had 70-75 win talent. It drives me crazy that in most progressives that kind of managerial accomplishment is punished rather than rewarded. In my humble opinion, wins floors and lotteries of the bottom X teams are woefully insufficient to prevent this stuff.
There are some leagues that have done an excellent job at this. None of them are perfect, but in each case I believe any downsides are vastly preferable to a league where it is any owner's interest to lose deliberately.
1.) Formula-based draft orders. There are several versions of this, from the relatively simple to the very complex. Basically, these formulas reward you for winning more games than expected based on your salary. gonoles777 runs a number of leagues like this, and just4me came up with an excellent "expected wins" formula several years ago that a number of progs now use. These leagues have an ancillary benefit in that the formulas provide an incentive for teams not to keep unnecessary talent...thus expanding the draft pool in any given season and giving teams that are rebuilding more to choose from. Check out any of the WESPL or ATP drafts in the Progressive Draft Database thread and you will see what I mean.
2.) Draft order based on some version of keeper salary. The Roll the Dice league uses this (as do some other leagues).
3.) Full draft order randomization. The NWP uses this. All non-playoff teams have an equal shot at the #1 pick. No reward for losing deliberately.
There are other variants not mentioned here.