Roman Storm will face one less charge from the Justice Department, but prosecutors will continue to push with their case agains the Tornado Cash founder.