The way they talk about their Dynamic Random Level Generation suggests they probably already somewhat developed it (and probably other aspects of the game) as a proof of concept.