Problem: memiavl revisit the integer overflows handling

[yihuang]

There are many manual integer conversions right now, because in storage level there are a few uint32 at play, but in public APIs, they are exposed as int64, do a final refinements on this issue, do overflow checks and return errors properly.