CodeSense: a Real-World Benchmark and Dataset for Code Semantic Reasoning