“...judicial execution can never cancel or remove the atrocity it seeks to punish: it can only add a second atrocity to the original one.”