will Dr Eggman (Jim carrey) be recast in the fourth upcoming sonic film?