fn is_full(ctrl: u8) -> bool
Checks whether a control byte represents a full bucket (top bit is clear).