Changes to Get leaderboard

removed the required property suite/environment/anyOf[subschema #1: SafeEnvironmentMetadata]/environment_revision from the response with the 200 status

removed the optional property suite/env_pack_sha256 from the response with the 200 status

removed the required property suite/environment/anyOf[subschema #1: SafeEnvironmentMetadata]/tool_contract_version from the response with the 200 status

removed the required property suite/environment/anyOf[subschema #1: SafeEnvironmentMetadata]/verifier_version from the response with the 200 status

removed the required property suite/environment/anyOf[subschema #1: SafeEnvironmentMetadata]/family_counts from the response with the 200 status

removed the required property suite/environment/anyOf[subschema #1: SafeEnvironmentMetadata]/task_count from the response with the 200 status

added the required property entries/items/window/anyOf[subschema #1]/items/suite_id to the response with the 200 status

added the optional property suite/benchmark_name to the response with the 200 status

added the optional property suite/benchmark_number to the response with the 200 status

added the optional property suite/env_pack_sha256 to the response with the 200 status

added the optional property suite/environment to the response with the 200 status

added the optional property suite/execution_kind to the response with the 200 status