Added quickcheck and checksum verification