Function render_proof_text 

pub fn render_proof_text(trace: &ProofTrace, register: Register) -> String

Render the proof tree as indented text (REPL/CLI), with the NAF note header.