ship

Verify, commit, and finish work. Handles merge, PR creation, cleanup. Replaces branch-finisher and worktree-manager.