[build] Allow model checking with solidity compiler

hardhat.modelcheck.config.js

@@ -0,0 +1,11 @@
+const config = require("./hardhat.config")
+
+config.solidity.settings.modelChecker = {
+  engine: "chc",
+  showUnproved: true,
+  contracts: {
+    "contracts/TestCollateral.sol": ["TestCollateral"],
+  },
+}
+
+module.exports = config

package.json

@@ -5,7 +5,8 @@
     "test": "npm run lint && hardhat test",
     "start": "hardhat node --export deployment-localhost.json",
     "format": "prettier --write contracts/**/*.sol test/**/*.js",
-    "lint": "solhint contracts/**.sol"
+    "lint": "solhint contracts/**.sol",
+    "modelcheck": "hardhat compile --config hardhat.modelcheck.config.js --force"
   },
   "devDependencies": {
     "@nomiclabs/hardhat-ethers": "^2.2.1",