Sharp upper bounds for the orders of the recurrences output by the Zeilberger and q-Zeilberger algorithms

We do what the title promises, and as a bonus, we get much simplified versions of these algorithms, that do not make any explicit mention of Gosper's algorithm.