Rename modules to Validate and Crawl

Try to make it clearer what these modules actually do.

Also move combineAnnotations into the Validate module, and checkPorts
to the ExtraChecks module, because that’s what is actually happening.