fmbt-ucheck: output formatters optimised to deal with 100,000+ steps