Users call the Spelunky formula the gold standard of procedural generation; video audiences call the sequel near-perfect; difficulty love/ha