memory_usage()
Comment out 'memory_usage' as its causing compiler warnings.
assert{VERYCLOSE,EQ}
BROKEN NOW: M3 rewrite().  Just partially implemented.
M3: New implementation complete. Tested a little in ~/Experiments/paranoidSBMchecking
--geometricK: K ~ Geometric(0.5)
BUGFIX: wasn't printing the correct P(KnonEmpty=*) at the end.
BUGFIX: assertEQ was too zealous