major updates to software verification, hopefully enabling many new OS