Made PlayerState:GetCurrentPlayerOptions safe to use.  Added Docs/Themerdocs/modslevel.txt to explain what ModsLevel should be used by a theme using the new PlayerOptions interface.