Augur, a platform in decentralized prediction markets, appears to be undergoing a significant reboot (or at least planning it ...