Find the number and averaged salary of all instructors who are in the department with the highest budget.
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