pipeline: add SWX instruction verifier