main: implement simplification options for mlsets
check_output: report failure if output doesn't match