Has the US constitutional prohibition on "cruel and unusual punishment" ever been used to "grandfather" any sort of punishment?