Computational Protein Redesign and Decoy Discrimination