Crypto chief bids SEC farewell after 9 years of service