Add LUKS on-disk format docs, update TODO.