A Look Back at WeChat's PhxSQL and the 'Fastest Majority'