Rename randomCover => cover

An alias has been provided for older code.  Some variable names in
the unittests and benchmarks have been tweaked to avoid confusion.