A Texas man convicted of killing a police informant has been executed after the US Supreme Court rejected arguments that he was too mentally impaired to qualify for the death penalty.