improved README. ublinter is a verification tool.
added integer overflow checker