negative tests (chip level)

[kunxian-xia]

Goal: add chip level negative tests.

That is, execute several opcodes and generate valid trace, then tamper the witness matrix (e.g. assign wrong value to rd). The test should catch verification error.