Add full? predicate for bitfields
Track our own bitfield
Check peer actually has piece :sheep: