[filetests]: add arithmetics to zk-runtest

[MCJOHN974]

Here I will add cranelift tests to our zk-filetest pipeline and try to find if something is broken

[MCJOHN974]

Aaaaaaaaaaand, here we are, I copied all tests from arithmetic.clif to zk-arithmetic.clif, except lower bit types which are not related to zk. And, it works, nothing failed on side of test infra, only known bug about signed division (and we can see here how test results are printed in case of fail, thanks for it)

[MCJOHN974]

Aaaaaaaaaand, first benefit from new test infra. Our i32 bnot doesn't work. Or we knew this before?? TODO: filetests don't have a lot of tests for bitops. Should we copy wasm spectest here?

upd: I guess it was a known thing

[MCJOHN974]

Srem don't work as well

[MCJOHN974]

Signed right shift is not implemented yet, so didn't add tests for it