U.S. Treasury Isn’t Trying to Ban Crypto Mixers, Top Official Says