pub(crate) fn main() -> ExitCode
Validates the options, attaches and runs the checks in order, ending with the detach check.