Government prosecutors have contested the notion that the Tornado Cash developer's case is all about the freedom to write code for the blockchain.