Improve art::SSAChecker::VisitInstruction.

Actually inspect the uses of an instruction to ensure the
latter dominates all of the former, instead of browsing the
inputs of this instruction (to ensure they dominate the
instruction).

Also check instruction domination with respect to environment
uses.

Change-Id: I967f34a45f48930607bf9683180d02e7c27b4e06