Suppose Package A depends on B depends on C. The user installs A (hence B & C) then removes B. BiocManager::valid() does not detect this situation, because A and C are at the most recent version, but the installation is clearly broken.
I would be happy to work on a pull request if this is useful.