Preview: Compile a standalone VerifyScript()

This is how something close to #4692 could look like after merging #4775 #4754 #4755 and #4555