Lamport signatures and other CAT tricks

So basically this script is not implementable on bitcoin in any meaningful way, even if CAT was soft-forked in… :smiling_face_with_tear: