Automatic completion and refinement of verification sets for microprocessor cores