Function emit_isa 

pub fn emit_isa(prog: &CompiledProgram) -> String

Emit prog as LOGOS Silicon ISA assembly text, every instruction annotated with its reversibility class. Totality is guaranteed by the classifier: an unclassified op cannot compile the crate.