I'm not keen on having Week 17 as the sole week to decide who wins overall (as often teams rest players etc). So I'd prefer not to have option 4.
Think my preference would be option one - a bit more like how the NFL is structured. Would you look at setting in stone those divisions or randomizing every year like now?