If a Facebook Group has, say, 1000 members, do they all get notifications of all posts to that group? (Assuming they have simply joined/favorited, not selected anything special, like "see all".)
Yes. By default a group member get notifications for all the post. A group member can change this setting anytime.