That would probably make a lot of sense. Can the network manager setting also be changed per network? It would be nice to do this with the normal config in the future.

Yes, in network manager 1.4.1+ (ubuntu 17.04+) you can set each network to `random` or `stable` as well as a global default for new networks. This config file updates the global default (but I can't use it yet!): https://gist.github.com/paulfurley/978d4e2e0cceb41d67d017a66...