You're confusing concepts. Regression to the mean doesn't depend on any IID assumption. Conditional expectations are right in the definition! In the bivariate n

You're confusing concepts. Regression to the mean doesn't depend on any IID assumption. Conditional expectations are right in the definition! In the bivariate normal case (height, intelligence, etc), it's a necessary consequence of a correlation coefficient < 1.