Using Mutation Coverage for Advanced Bug Hunting and Verification Signoff