Add log inclusion proof checking.