The smart contract platform underwent a leadership change that resulted in developer Casper Labs changing its name and moving on from the project.