Is chalitza a required mitzvah or just a matir/way to enable the woman to get married again? How much effort must be expended to perform this mitzvah?