fix SUB and modulo operator
function for mod 2^256
fix NEG, SDIV, SMOD; all arithmetic tests now pass