Added tests for --verify