Gravar-mail: What has de novo protein design taught us about protein folding and biophysics?