US federal prosecutors are pressing ahead with their case against Tornado Cash founder Roman Storm, but will drop a small part of their indictment after the Department of Justice rolled…