Packages the varcheck check as an asset for the godel check plugin - View it on GitHub