Function writeBigVarintHigh

writeBigVarintHigh(high: number, bufPos: VarintBufPos): void
Write a varint larger then 54-bits on the high end
Parameters
- high: number
  the high 32 bits
- bufPos: VarintBufPos
  the buffer with it's position to write at
Returns void