cert-verify:  Minor improvements

Mostly comment fixups and const-crazyness.