Added a flag "disable_reachable_matrix" to disable reachable-matrix on enumeration with depth_based_enumerator_t.