Add zero-initialization note to is_balanced().