Arcane: An Assertion Reduction Framework through Semantic Clustering and MCTS-Guided Rule Exploring (ArXiv cs.AR Recent Papers, 2026)