Correctly apply eligibility criteria for statistical leaders based on GP for the requested season, not the current season.
Added initial implementation of a Hall of Fame metric calculated when players retire. Currently it is largely untested and there is no UI to view results.