Closing Functional Coverage With Deep Reinforcement Learning: A Compression Encoder Example