Add a verifier layer to check if every instruction archive its objective by checking the result.

[ngaut]

If not, try to rewrite instruction based on previous instruction's outcome .

[ngaut]

Make sure do quality checking.