Improvements in "cover" command
Updated verific build/test instructions
Added more stuff to checklist
Disabled cover() for non-linux builds