[DF] Warn on mismatch between slot pool size and effective number of slots

In order to benefit from implicit multi-threading, the call to EnableIMT must be made before constructing a dataframe. That's easy to overlook. As a diagnostics, RDF could warn if the thread pool size does not reflect the number of effective slots of the ongoing execution.