Add RSVarintBitcoinRead64