supply held by dfinity has been included in the circulating supply formula in a recent proposal