Move cover.sh to scripts/

And remove an unnecessary op from it along the way.