Add tests for checksum.c

These tests can be run on QuickCheck-CI.com