SCITAB: A Challenging Benchmark for Compositional Reasoning and Claim Verification on Scientific Tables