NP-Engine: Empowering Optimization Reasoning in Large Language Models with Verifiable Synthetic NP Problems