Change proof-of-thought to proof-of-play + minor fixes