Exercise TVM under minimal configuration in CI #11932
Description
We have seen a couple bugs due to microTVM being presumed-ON in config.cmake. Namely, you get python errors importing TVM right now when USE_MICRO is OFF. We should have a regression test that verifies basic functionality with everything (or nearly everything) OFF.
Context: #9617
And another micro-related issue of the same kind, which i don't have handy right now.
cc @gigiblender