Only show trading leaderboard modal when leaderboard is deployed

[hammadtq]

The trading leaderboard modal implies that there's a leaderboard, but is there one? We should couple this prompt with the actual deployment of a leaderboard.

Consider hiding this modal until the leaderboard feature is live.