Add verifySync, refactor verify to use verifySync, add example using verifySync