Note that this test checks that the current setup creates dataset check violations. A later commit will fix this (and flip the negation in the test).
Taus