On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper)