$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture