Combine ordered_instruction loops in validation. (#1782)

There are several validation passes which loop over all ordered
instructions. This CL combines those into a single loop, calling each
pass as needed.