assembler: Support labels, and add options for output formats