“The data set for nitrogen hypoxia executions is small —three — but provides clear results: Alabama’s method does not work the way defendants claim and necessarily causes conscious ...