This is kind of a meaningless assert? Yeah we'll eventually overflow, but far before we left-shift our way to all 0s we'll have tried to allocate too large a buffer and have had `new` fail anyway