Added seal tests; fixed hmac length bug in seal.c