Added fast and quality random int generators.

Default disabled symbol mangler (it doesn't work).

Added SHA256 hash.