Weaken precondition on `LowStar.Buffer.offset`
Weaken precondition on `LowStar.Buffer.offset`

Reported by @msprotz

A-Manning/FStar,FStarLang/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar