[llvm] Add assertions to to check dominator tree is not called on empty functions (PR #167428)

[Matt Arsenault via llvm-commits]

https://github.com/arsenm commented:

It's a bug if something gets this far. Empty MachineFunctions should be illegal, but the verifier doesn't enforce that today 

https://github.com/llvm/llvm-project/pull/167428