“In his dissent, Justice Clarence Thomas indicated his desire to overturn the Supreme Court's precedent set in Atkins v. Virginia.”