Now that we have a persistent place to store the expected number of machines (`$num_instances`), I'm less inclined to make this change. This is not a supported API by Vagrant, so I don't want to deal with it breaking in the future. Is there a reasonable case where this is really necessary.