Whenever a user specifies --dev, we need them to manually specify a genesis JSON. We could, instead, embed in the client the genesis file we are using as a default. This can be done in a similar way to #3372.