Rework the initializer logic to be shared between buffer allocation and calls to fill. Use memset when possible for bytes.
Rework the initializer logic to be shared between buffer allocation and calls to fill. Use memset when possible for bytes.

FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin