fmbt-ucheck: output formatters optimised to deal with 100,000+ steps
Merging include/exclude heuristic fix
Version 0.4