I don't have a Dev edition but from what I've gathered across the forums, the Dev edition is compatible with most custom roms so long as the correct firmware is present.
Dev edition would be the only unlocked phone as it is bought directly from Samsung. As long as you are rooted the hotspot issue can be solved, however I've noticed that most developers include the hotspot fix.
Since you will be paying full price for your new phone, if you are big on custom roms and such I would say Dev edition is the way to go because of the freedom you get (including CyanogenMod
It's too bad you lost your phone now as the note 4 will likely follow suit with previous releases and be available this fall. Not to mention the rumored fall release of the new flagship Samsung F series.