Do not warn about {:verify false} on methods when using --allow-axiom

Do not warn about {:verify false} on methods when using --allow-axiom #20141