TIS-100: UPDATE: Fixing missing leaderboards

Today's update fixes a bug where some leaderboards would not show up in the bonus campaign. If you see anything weird in the game, whether or not it's related to leaderboards, please send me an email (zach@zachtronics.c…