Strictly, #1 is correct: must is usually reserved for the speaker's authority, where have to is supposed to represent outside strictures. However, #2 is also widely used in such a statement when spoken and the truth remains current; #3, by the same token, is a correct regression of the dependent verb in a report of the phrase that they will have to come home . That they had to come home is the regression for #2.
New words, one handy idiom, and a 2-minute quiz — delivered to your inbox to keep your streak alive.