added a test for verify-after-finalize