Accelerating Coverage Closure with Reinforcement Learning: A Case Study on FSM Verification