For those that were hoping to have official CM/AOKP support for the VZW (and AT&T) S4, think again.
The bootloader "Unlock" is just a way to patch the boot image to make things work. Which means it has to be patched every time you flash. This kind of hackery means it'll never be an officially supported device. There may be some unofficial ROMs, and who knows they may be indistinguishable from an official port for supported phones.
But for me, since I'm paying full retail to save grandfather'd data plan, it's not worth the risk of having to be stuck with TouchWiz crap.