Verification: add more detailed logging