Modified game_server_contract to make the restriction on number of players part of the join method invariatnt instead of the precondition.