I am a fan of approach A2. It seems like the python community is moving towards using poetry, and the poetry format is a lot nicer than requirements.txt for specifying dependencies. If we autogenerate requirements.txt, then everyone can use their preferred development tools.
Can poetry build the C++ part of TVM? If so, that might be a good way to make it easier for new people to start hacking on TVM.