Martín Valverde, Antonio, Tribunal Supremo Español, España