In that case adding a weak block header proof to INV seems to be a more efficient idea. What do you think?