we know that whatever the roots depend on, it must be compatible with their own constraints

I don't think it works. Imagine your tests are Py2 or Py3, but they depend on a Py3-only library code. It's important that we run w/ Py3, otherwise the transitive dep's code won't be parsable