write an inst_labels_conv, for a faster code_labels_conv

Uses the same trick of periodically hiding the tail of the list.

I think the slowest part of it now will be extracting the finite map,
but I know that this can happen in a manageable time (e.g. <30mins)
since I saw it happen before.