Five more of the hack/verify-* scripts now pass shellcheck and have been
removed from hack/.shellcheck_failures.