Embedding Reliability Verification Constraints into Generation Expansion Planning