El verdugo (obra de teatre)