Comment out slow assertion
Add progress bars back to minimal_satisfiable_subset