Value Alignment Verification