Trading accuracy for speed: a quantitative comparison of search algorithms in protein sequence design