Add random-hostname property to manifests

Push treats this the same as the --random-hostname flag

[Finishes #62086514]