Extend set_unprotected_header() to allow setting an empty header, and verify_receipt() to check claim_digest

Extend set_unprotected_header() to allow setting an empty header, and verify_receipt() to check claim_digest #1042