OpenSpec Verify Change | Claude Code Skill for Quality Assurance