This is my thinking too. If you are a nation state, and want users to distrust the network, why not just spin up a bunch of miners to attack it and/or regulate white markets?
More direct and easier to attack than 1) trying to figure out if a double spend bug even exists in the first place and 2) secretly double spending low amounts slowly over time that would have virtually no affect on price which means no users would even know. If it isn't enough to change anything does it really matter?