Revert "Use F* branch `taramana_buffer_fill` (TEST, PLEASE REVERT)"
Revert "Use F* branch `taramana_buffer_fill` (TEST, PLEASE REVERT)"

This reverts commit c85eb6b56bc146321a059c046c8a4e4fad5448e4.

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