Create simple coverage guided strategy

[thatjiaozi]

• Creates a new strategy that tries to maximize the number of lines covered in the verifier
• Introduces a heap structure that helps with the maximization of coverage For this strategy to work, buzzer needs to be setup to collect coverage information and the -metrics_threshold flag has to be set to 1