CRC32 code - added assertions, code cleanups, and in regtest a link to a verification reference url