Legalizer: Add an assert and tweak a comment to clarify the assumptions this code makes.