[boost] Formal Review: Circular Buffer