Why does the time hierarchy theorem use a rather intricate diagonal argument?
The output size does not scale with (time) complexity of problems in general.
In fact, complexity theorists are largely interested in decision problems for which the output will either be 0 or 1.