A Verification Theorem for Optimal Stopping Problems with Expectation Constraints