I’ve always wondered about this, does it stop downloading the video when it stops playing?

My guess is no.

This is incorrect. The setting does not apply to Safari. It's for App Store, for example.