Are We Testing Too Much? A Survey of Benchmark Compression for Efficient Evaluation of Large Language Models