mcs_finder: add functionality to dump intermediate mcs stats
add invariant_checks library