Add pointer-overflow check for slow proofs

[feliperodri]

We have disable pointer-overflow check for 3 proofs (se PR #703):

1. aws_cryptosdk_enc_ctx_clone;
2. aws_cryptosdk_enc_ctx_serialize;
3. aws_cryptosdk_hdr_write;

We musta dd these checks back and investigate how to speed up these proofs.