Change coverage verbosity option to 1->4 instead of 0->3.