swift234

Add two utility passes, Compute{Dominance,Loop}Info that just build the relevant infos.

This makes it easy to use -sil-verify-all to verify that both type of info are
created correctly and that analyses are properly updating them. I am going to
use this to harden testing of the loop canonicalizer.