Fixed divide by zero in Div visitor.
More correct bounds inference for abs for non-int32 types.
More fuzz test coverage, more bug fixes found by fuzz tests.