mcs_finder: slightly nicer output format for MCS
pretty_print_input_trace: add some stats / remove -i