added selection of verified results

added check in results loader

added secondary sorting if there are ties for the sorting metric, made sorting order for sorting metric reversible but not the other metrics

fixed cuttoff issue for wide leaderboards, made leaderboard data updating asynchronous, made streamlit set the url to match the selected dataset

removed limit on model queries from development

fixed rounding bug, improved messages above the leaderboard

added metric sort orders, added feature to display all metrics at the same time

removed hf-asr-leaderboard filter, improved parser, added query param dataset select option

first commit