However, the bench made it clear that its dismissal of the challenge would not foreclose future scrutiny of the method of execution