Return true when binary trees p and q have the same structure and equal values.
p
q
How would an iterative queue-based comparison work?