Buffer.cs: Added small contract requirements to isEmpty() and isFull().