Proxy IntrospectionExtensions Type checking WIP Pull out my verifier into a separate project, switch to using the (extremely new) one from CoreRT