Function lrl_test_compiler::mission_control::emit_abort_json

pub fn emit_abort_json(
    concrete: &ConcreteTest, 
    output: PathBuf
) -> CompilerResult<()>

Emit the JSON mapping between abort names and abort indices. Used by mission control to understand firmware telemetry messages.