OpenSpec Verify Change: Claude Code Verification Skill