I think it's less that Odersky sold out but rather that the original company vision wasn't economically viable and that business leadership has pivoted it away from him and his work. He's not even on the leadership page anymore.