Former ASIO boss Dennis Richardson has quit his role assisting the anti-Semitism royal commission after less than three months.