Tornado Cash lawsuit judge sides with US Treasury in motions