optimizespec-verify