he possibility for it being null was likely an oversight -- it should have been removed after the early migrations to backfill the field when it was added. We've confirmed there are no existing violations of this invariant in Zulip Cloud.
byshen-dev