Roman Storm's trial verdict leaves the door open for US prosecutors to retry the Tornado Cash developer, attorneys said.