Change ValidationState::diag to accept an Instruction. (#1749)

This CL changes the signature of diag() to accept an Instruction instead
of the instructions position.

A deprecated variant that accepts the position is available but will be
removed in the near future.