verify() each TrustedProof on creation, if asserts are on