Tear down a merged branch's workspace by ticket number. Verifies the close ran and the PR actually merged, confirms the issue closed, removes the worktree, deletes the branch, and pulls the merge. Destructive, so it only runs when the user invokes it explicitly.
