U.S. SEC’s Crypto Enforcer David Hirsch Quits