Add commutative and concurrent tests

Several basic tests of commutative and concurrent tasks, enabled by default,
since they should now work. commutative7 tests "Fix propagation of concurrent
and commutative satisfiability".