Unit tests for the Leaderboard example using Tinytest.