NVIM: Split opts and config for lazy plugins

.config/nvim/lua/plugins/viper-nvim.lua

@@ -2,7 +2,5 @@ return {
   -- highlighting for the viper verification language
   "tiyn/viper.nvim",
   event = { "BufReadPre *.vpr", "FileType viper" },
-  config = function()
-    require("viper").setup()
-  end,
+  opts = {}
 }