I agree about the two goals (1) and (2).
We started from goal (2) as a printable state, and it is important to have this perspective for productive development and transformation. Having (2) would help us not only in the time of input but also during transformation.
We started to see more activities towards goal (1), which is great. Note that goal (1) does not conflict with (2) as we mainly need improvements on the input side but can still make sure printed output to contain the details.
A more pythonic input (1) would help more people to be able to construct those workloads more easily. In the meantime, the ability to have more fine-grained control (e.g. the ability to explicitly annotate block for perf optimization) when needed would help more people to be able to leverage TVM to solve their needs.