How many instructors are in the department with the highest budget, and what is their average salary?
select avg(t1.salary), count(*) from instructor as t1 join department as t2 on t1.dept_name = t2.dept_name order by t2.budget desc limit 1