planner: completely reject 'ORDER BY contains aggregate function and applies to the result of a non-aggregated query'

[dyzsr]

Development Task

In TiDB,

create table t (a int, b int);

# when only_full_group_by is enabled
select a from t order by count(b);
(3029, 'Expression #1 of ORDER BY contains aggregate function and applies to the result of a non-aggregated query')
select * from t order by max(b);
(3029, 'Expression #1 of ORDER BY contains aggregate function and applies to the result of a non-aggregated query')

# when only_full_group_by is disabled
select a from t order by count(b);
+---+
| a |
+---+
0 rows in set

select * from t order by max(b);
+---+---+
| a | b |
+---+---+
0 rows in set

Such queries should be rejected regardless only_full_group_by is enabled or not, as handled in https://bugs.mysql.com/bug.php?id=72512.

Currently, TiDB can only reject such cases when only_full_group_by is enabled through PlanBuilder.checkOnlyFullGroupByWithOutGroupClause.

We may move the checking logic of ORDER BY out of this method.

[dyzsr]

/label sig/planner

[Reminiscent]

@xuyifangreeneyes PTAL