In test/mc.c, replace assertions by normal if statements
MC example can now check for deadlocks and report the first deadlock found.
Added sylvan_table_usage
sylvan_table_usage is now parallel
Added LDDmc, multi-core ListDD implementation