Add a testcase for i256 add. i256 isn't fully supported in