Add Validation Instruction Hook

[florianhartung]

Sometimes, the user might want to reject certain instructions during validation.

To allow this we could implement some kind of configuration of validation (e.g. via the existing Config trait).
This could then allow the user to specify a hook that is called per-instruction during validation.