socket_multiplexer_test: better debugging output
fixed a bunch of tests
mcs_finder: add functionality to dump intermediate mcs stats
add invariant_checks library
Merge remote-tracking branch 'origin/master' into pox_blackhole