Disassembler enhancement- labeler may return a label or not.

With this change, the x86-64 disassembler will label some
local functions, as a minimal example:
 (disassemble '(lambda () (catch :fail (fresh-line)) nil))